let lit_disj l = of_disj (Disj.lit_disj l)