Pulselib.PulseModels
val dispatch : IR.Tenv.t -> IR.Procname.t -> Pulselib.PulseBasicInterface.ValueOrigin.t Absint.ProcnameDispatcher.Call.FuncArg.t list -> PulseModelsImport.model option