Module `PulseAbductiveDomain.Topl`

val small_step : IBase.Location.t -> PulseTopl.event -> t -> t
val large_step : call_location:IBase.Location.t -> callee_proc_name:IR.Procname.t -> substitution:(PulseBasicInterface.AbstractValue.t * PulseBasicInterface.ValueHistory.t) Pulselib.PulseBasicInterface.AbstractValue.Map.t -> ?⁠condition:PulseBasicInterface.PathCondition.t -> callee_prepost:PulseTopl.state -> t -> t
val get : summary -> PulseTopl.state