let
cnstrnt_is_nonneg s = (s =
Sign
.
Nonneg
)