package lrgrep

You can search for identifiers within the package.

in-package search v0.2.0

Module `IndexBuffer.Gen`Source

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