Pulselib.PulseModelsHackval matchers : PulseModelsImport.matcher listval get_static_companion :
model_desc:string ->
Pulselib.PulseDomainInterface.PathContext.t ->
IBase.Location.t ->
IR.Typ.name ->
Pulselib.PulseDomainInterface.AbductiveDomain.t ->
(Pulselib.PulseBasicInterface.AbstractValue.t
* Pulselib.PulseBasicInterface.ValueHistory.t)
* Pulselib.PulseDomainInterface.AbductiveDomain.tval get_static_companion_var : IR.Typ.name -> IR.Pvar.tval make_new_awaitable :
PulseModelsDSL.aval ->
PulseModelsDSL.aval PulseModelsDSL.model_monadval build_vec_for_variadic_callee :
PulseModelsImport.model_data ->
(Pulselib.PulseBasicInterface.AbstractValue.t
* Pulselib.PulseBasicInterface.ValueHistory.t)
list ->
Pulselib.PulseDomainInterface.AbductiveDomain.t ->
((Pulselib.PulseBasicInterface.AbstractValue.t
* Pulselib.PulseBasicInterface.ValueHistory.t)
* Pulselib.PulseDomainInterface.AbductiveDomain.t)
PulseBasicInterface.sat_unsat_t