Module IndexBuffer.DynSource

Sourcetype ('n, 'a) t

Type representing a dynamic array indexed by indices.

Sourceval make : 'a -> ('n, 'a) t

make default creates a new dynamic array with the given default value.

  • parameter default

    The default value for indices not yet set.

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

get t i returns the value at index i in array t.

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

set t i x sets the value at index i in array t to x.

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

Extract a static vector from a dynamic one once the cardinal is known.