let
cnstrnt_is_neg s = (s =
Sign
.
Neg
)