Topl (infer.Pulselib.PulseAbductiveDomain.Topl)

val small_step : IR.Tenv.t -> IBase.Location.t -> 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 ->
  callee_summary:PulseTopl.state ->
  callee_is_manifest:bool ->
  t ->
  t

val report_errors : 
  IR.Procdesc.t ->
  Absint.Errlog.t ->
  pulse_is_manifest:bool ->
  Summary.t ->
  unit