slap
Vec.Of_list
A functor version of of_list.
of_list
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