package lrgrep

  1. Overview
  2. Docs
package lrgrep
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module IndexBuffer.DynSource

Sourcetype ('n, 'a) t
Sourceval make : 'a -> ('n, 'a) t
Sourceval get : ('n, 'a) t -> 'n Fix.Indexing.index -> 'a
Sourceval set : ('n, 'a) t -> 'n Fix.Indexing.index -> 'a -> unit
Sourceval contents : ('n, 'a) t -> 'n Fix.Indexing.cardinal -> ('n, 'a) Fix.Indexing.vector