Pulselib.PulseRetainCycleCheckerval check_retain_cycles_store :
IR.Tenv.t ->
IBase.Location.t ->
(Pulselib.PulseBasicInterface.AbstractValue.t
* Pulselib.PulseBasicInterface.ValueHistory.t) ->
Pulselib.PulseDomainInterface.AbductiveDomain.t ->
(Pulselib.PulseDomainInterface.AbductiveDomain.t,
PulseOperationResult.Import.base_error)
PulseOperationResult.Import.pulse_resultval check_retain_cycles_call :
IR.Tenv.t ->
IBase.Location.t ->
Pulselib.PulseBasicInterface.ValueOrigin.t
Absint.ProcnameDispatcher.Call.FuncArg.t
list ->
(Pulselib.PulseBasicInterface.AbstractValue.t
* Pulselib.PulseBasicInterface.ValueHistory.t)
option ->
Pulselib.PulseDomainInterface.AbductiveDomain.t ->
(Pulselib.PulseDomainInterface.AbductiveDomain.t,
PulseOperationResult.Import.base_error)
PulseOperationResult.Import.pulse_result