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.