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.Internal
val pretty_debug : t Pretty_utils.formatter
val sign_key : t Structure.Key_Value.k