Module `PulseModelsCpp.Function`

val operator_call : 
  (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