Module IntDomain0.Std

Parameters

module B : sig ... end

Signature

include module type of struct include Printable.StdLeaf end
include module type of struct include Printable.Std end
val tag : 'a -> 'b
val arbitrary : unit -> 'a
val relift : 'a -> 'a
val name : unit -> string
val is_bot : B.t -> bool
val is_top_of : GoblintCil.Cil.ikind -> B.t -> bool
include sig ... end
val pretty : unit -> B.t -> Printable.Pretty.doc
val printXml : 'a BatInnerIO.output -> B.t -> unit
val to_yojson : B.t -> [> `String of string ]
val pretty_diff : unit -> (B.t * B.t) -> GoblintCil.Pretty.doc
include sig ... end
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