PulseNonDisjunctiveDomain.Summary
type t = summary
val bottom : t
val pp : F.formatter -> t -> unit
val join : t -> t -> t
val get_transitive_info_if_not_top : t -> Pulselib.PulseBasicInterface.TransitiveInfo.t option
val has_dropped_disjuncts : t -> bool