Iterator (infer.Pulselib.PulseModelsGenericArrayBackedCollection.Iterator)

val internal_pointer : IR.Fieldname.t

val to_internal_pointer : 
  Pulselib.PulseDomainInterface.PathContext.t ->
  PulseOperationResult.Import.access_mode ->
  IBase.Location.t ->
  (Pulselib.PulseBasicInterface.AbstractValue.t
   * Pulselib.PulseBasicInterface.ValueHistory.t) ->
  Pulselib.PulseDomainInterface.AbductiveDomain.t ->
  (Pulselib.PulseDomainInterface.AbductiveDomain.t
   * (Pulselib.PulseBasicInterface.AbstractValue.t
      * Pulselib.PulseBasicInterface.ValueHistory.t))
    Pulselib.PulseDomainInterface.AccessResult.t

val construct : 
  Pulselib.PulseDomainInterface.PathContext.t ->
  IBase.Location.t ->
  Pulselib.PulseBasicInterface.ValueHistory.event ->
  init:
    (Pulselib.PulseBasicInterface.AbstractValue.t
     * Pulselib.PulseBasicInterface.ValueHistory.t) ->
  ref:
    (Pulselib.PulseBasicInterface.AbstractValue.t
     * Pulselib.PulseBasicInterface.ValueHistory.t) ->
  Pulselib.PulseDomainInterface.AbductiveDomain.t ->
  Pulselib.PulseDomainInterface.AbductiveDomain.t
    Pulselib.PulseDomainInterface.AccessResult.t