Module Sign_value

module Sign_value: sig .. end
Sign domain: abstraction of integer numerical values by their signs.

Sign domain: abstraction of integer numerical values by their signs.


include Abstract_value.Leaf
val pretty_debug : t Pretty_utils.formatter