let
lit_disj l = of_disj (
Disj
.lit_disj l)