Module type Slap_S.Vec.DSCVEC

module type DSCVEC = sig .. end
The signature of modules containing dynamically-sized discrete vectors.

type n 
A generative phantom type.
val value : (n, Slap_misc.dsc) Slap_S.vec
A dynamically-sized discrete vector with type like exists n. (n, dsc) vec.