Module Utils.Finite_vectorSource

Sourcetype 'a data =
  1. | Empty of int
  2. | Buf of 'a array
Sourceval capacity : 'a data -> int
Sourcetype 'a t = {
  1. mutable size : int;
  2. mutable buf : 'a data;
}
Sourceval length : 'a t -> int
Sourceval pp : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit
Sourceval init : ?capacity:int -> unit -> 'a t
Sourceval init_with : ?capacity:int -> int -> (int -> 'a) -> 'a t
Sourceval singleton : ?capacity:int -> 'a -> 'a t
Sourceval to_array : 'a t -> 'a array
Sourceval get : 'a t -> int -> 'a
Sourceval set : 'a t -> int -> 'a -> unit
Sourceval fold_left : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a
Sourceval iter : ('a -> 'b) -> 'a t -> unit
Sourceval split_from : 'a t -> int -> 'a t
Sourceval drop_last : 'a t -> unit
Sourceval insert : 'a t -> int -> 'a -> unit
Sourceval clip : 'a t -> int -> unit