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