Module Pulselib__PulseSummary
type t= Pulselib.PulseDomainInterface.ExecutionDomain.summary list
val of_posts : IR.Procdesc.t -> Pulselib.PulseDomainInterface.ExecutionDomain.t list -> tval pp : Stdlib.Format.formatter -> t -> unit