Module IntDomain0.StdTop

Parameters

module B : sig ... end

Signature

val to_excl_list : 'a -> 'b option
val of_excl_list : GoblintCil.Cil.ikind -> 'a -> B.t
val is_excl_list : 'a -> bool
val to_incl_list : 'a -> 'b option
val of_interval : ?suppress_ovwarn:bool -> GoblintCil.Cil.ikind -> 'a -> B.t
val of_congruence : GoblintCil.Cil.ikind -> 'a -> B.t
val of_bitfield : GoblintCil.Cil.ikind -> 'a -> B.t
val starting : ?suppress_ovwarn:bool -> GoblintCil.Cil.ikind -> 'a -> B.t
val ending : ?suppress_ovwarn:bool -> GoblintCil.Cil.ikind -> 'a -> B.t
val maximal : 'a -> 'b option
val minimal : 'a -> 'b option