module Sign_domain: sig .. end
sig
end
Abstraction of the sign of integer variables.
include Abstract_domain.Leaf