package lem

  1. Overview
  2. Docs
type !'a vector =
  1. | Vector of 'a array
val vconcat : 'a vector -> 'a vector -> 'a vector
val vmap : ('a -> 'b) -> 'a vector -> 'b vector
val vfold : ('b -> 'a -> 'b) -> 'b -> 'a vector -> 'b
val vzip : 'a vector -> 'b vector -> ('a * 'b) vector
val vmapacc : ('a -> 'c -> 'b * 'c) -> 'a vector -> 'c -> 'b vector * 'c
val vmapi : (Nat_num.nat -> 'a -> 'b) -> 'a vector -> 'b vector
val extend : 'a -> Nat_num.nat -> 'a vector -> 'a vector
val duplicate : 'a vector -> 'a vector
val vlength : 'a vector -> Nat_num.nat
val vector_access : Nat_num.nat -> 'a vector -> 'a
val vector_slice : Nat_num.nat -> Nat_num.nat -> 'a vector -> 'a vector
val make_vector : 'a list -> Nat_num.nat -> 'a vector