Gen (p.lrgrep.0.3.doc.utils.Utils.IndexBuffer.Gen)

Sourcetype ('n, 'a) t

Sourcetype 'n reservation

Sourceval add : ('n, 'a) t -> 'a -> 'n Fix.Indexing.index

Sourceval reserve : ('n, 'a) t -> 'n reservation

Sourceval index : 'n reservation -> 'n Fix.Indexing.index

Sourceval commit : ('n, 'a) t -> 'n reservation -> 'a -> unit

Sourceval get : ('n, 'a) t -> 'n Fix.Indexing.index -> 'a

Sourceval set : ('n, 'a) t -> 'n Fix.Indexing.index -> 'a -> unit

Sourceval freeze : ('n, 'a) t -> ('n, 'a) Fix.Indexing.vector

val freeze_map : 
  ('n, 'a) t ->
  ('n Fix.Indexing.index -> 'a -> 'b) ->
  ('n, 'b) Fix.Indexing.vector

Sourcemodule Make () : sig ... end