Function (infer.Pulselib.PulseModelsCpp.Function)

val operator_call : 
  deref_lambda_ptr:bool ->
  (Pulselib.PulseBasicInterface.AbstractValue.t
   * Pulselib.PulseBasicInterface.ValueHistory.t)
    Absint.ProcnameDispatcher.Call.FuncArg.t ->
  (Pulselib.PulseBasicInterface.AbstractValue.t
   * Pulselib.PulseBasicInterface.ValueHistory.t)
    Absint.ProcnameDispatcher.Call.FuncArg.t
    list ->
  PulseModelsImport.model