PulseModels (infer.Pulselib.PulseModels)

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

val dispatch_builtins : 
  IR.Procname.t ->
  Pulselib.PulseBasicInterface.ValueOrigin.t IR.FuncArg.t list ->
  (unit -> unit PulseModelsDSL.model_monad) option