Previous
Up
Next
Module
Sign_domain
module
Sign_domain:
sig
..
end
Abstraction of the sign of integer variables.
include
Abstract_domain.Internal