Module type Slap_S.Vec.CNTVEC

module type CNTVEC = sig .. end
The signature of modules containing dynamically-sized contiguous vectors.

type n 
A generative phantom type.
val value : (n, 'cnt) Slap_S.vec
A dynamically-sized contiguous vector with type like exists n. (n, 'cnt) vec.