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