Module type Slap_Z.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_Z.vec

A dynamically-sized contiguous vector with type like exists n. (n, 'cnt) vec.