module Sign_value: sig .. end
sig
end
Sign domain: abstraction of integer numerical values by their signs.
include Abstract_value.Leaf
val pretty_debug : t Pretty_utils.formatter
t Pretty_utils.formatter