let
d_ite =
function
Ite
(p, q, r)
->
(p, q, r)
|
_
->
invalid_arg
"wrong propositional argument"