let
prop_mk_neg =
Prop
.mk_neg