let
d_var =
function
Var
(x)
->
x
|
_
->
invalid_arg
"wrong propositional argument"