Module Single_value_abstraction.Sig

Common signature of all single value abstractions

module type Doc = sig ... end

Documentation information used for pretty-printing

module type SingleValueAbstraction = sig ... end

Domain that abstract a single value Z.t by t, meaning t represents a (non necessarily finite) set of Z.t, defined by the contains function