Vector (infer.Pulselib.PulseModelsCpp.Vector)

val at : 
  desc:string ->
  (Pulselib.PulseBasicInterface.AbstractValue.t
   * Pulselib.PulseBasicInterface.ValueHistory.t) ->
  (Pulselib.PulseBasicInterface.AbstractValue.t * 'a) ->
  PulseModelsImport.model_no_non_disj

val invalidate_references : 
  Pulselib.PulseBasicInterface.Invalidation.std_vector_function ->
  (Pulselib.PulseBasicInterface.AbstractValue.t
   * Pulselib.PulseBasicInterface.ValueHistory.t) ->
  PulseModelsImport.model_no_non_disj

val push_back : 
  (Pulselib.PulseBasicInterface.AbstractValue.t
   * Pulselib.PulseBasicInterface.ValueHistory.t) ->
  desc:string ->
  PulseModelsImport.model_no_non_disj