let
cnstrnt_mk_neg () =
Sign
.
Neg