lem

Lem is a tool for lightweight executable mathematics
Module Vector
type !'a vector =
| 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