let
d_neg =
function
Neg
(p)
->
p
|
_
->
invalid_arg
"wrong propositional argument"