let
lit p = of_disj (
Disj
.lit p)