PulseAbductiveDecompiler (infer.Pulselib.PulseAbductiveDecompiler)

module AbductiveDomain = PulseAbductiveDomain

module AbstractValue = PulseAbstractValue

module CallEvent = PulseCallEvent

module DecompilerExpr = PulseDecompilerExpr

module ValueHistory = PulseValueHistory

Wrapper to access the `PulseDecompiler.t` inside `AbductiveDomain.t`; all of the interface of `PulseDecompiler` is duplicated for ease of use

val add_call_source : 
  AbstractValue.t ->
  CallEvent.t ->
  ((AbstractValue.t * ValueHistory.t) * IR.Typ.t) list ->
  AbductiveDomain.t ->
  AbductiveDomain.t

val find : AbstractValue.t -> AbductiveDomain.t -> DecompilerExpr.t

Wrapper to access the PulseDecompiler.t inside AbductiveDomain.t; all of the interface of PulseDecompiler is duplicated for ease of use

Wrapper to access the `PulseDecompiler.t` inside `AbductiveDomain.t`; all of the interface of `PulseDecompiler` is duplicated for ease of use