Module Sign_domain

module Sign_domain: sig .. end

Abstraction of the sign of integer variables.


include Abstract_domain.Leaf