Module Vector.Builder

module Builder: sig .. end

Efficient construction of vectors using mutable, one-by-one appending of elements

type 'a vector = 'a Vector.t

type '_ t

val empty : unit -> 'a t

Creates new empty builder.

val copy : 'a t -> 'a t

Create copy of this builder.

val put : 'a t -> 'a -> unit

Put element to builder.

val clear : 'a t -> unit

Clear builder.

val result : 'a t -> 'a vector

Get vector of current elements in builder.