Summary (infer.Pulselib.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

val get_pre_post : 
  t ->
  AbductiveDomain.Summary.t Absint.AbstractDomain.Types.bottom_lifted