Module Sign_domain

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

include Abstract_domain.Leaf