PulseNonDisjunctiveDomain.Summary
include Absint.AbstractDomain.WithBottom with type t = summary
include Absint.AbstractDomain.S with type t = summary
include Absint.AbstractDomain.Comparable with type t = summary
include IStdlib.PrettyPrintable.PrintableType with type t = summary
type t = summary
val pp : IStdlib.PrettyPrintable.F.formatter -> t -> unit
val bottom : t
The bottom value of the domain.
val is_bottom : t -> bool
Return true if this is the bottom value
val get_transitive_info_if_not_top :
t ->
Pulselib.PulseBasicInterface.TransitiveInfo.t option
val has_dropped_disjuncts : t -> bool