module Sign_value: sig .. end
sig
end
Sign domain: abstraction of integer numerical values by their signs.
include Abstract_value.Internal
val pretty_debug : t Pretty_utils.formatter
t Pretty_utils.formatter
val sign_key : t Structure.Key_Value.k
t Structure.Key_Value.k