slap
Vec.Of_array
A functor version of of_array.
of_array
slap.ppx
slap.top
module X : sig ... end
type n
A generative phantom type.
val value : (n, 'cnt) vec
A dynamically-sized contiguous vector with type like exists n. (n, 'cnt) vec.
exists n. (n, 'cnt) vec