let
cnstrnt_is_pos s = (s =
Sign
.
Pos
)