Module type Slap_C.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_C.vec
A dynamically-sized contiguous vector with type like exists n. (n, 'cnt) vec.