let d_let = function Let(x, p, q) -> (x, p, q) | _ -> invalid_arg "wrong propositional argument"