sig
type
n
val
value : (
Slap_Z
.
Vec
.
DSCVEC
.n,
Slap_misc
.dsc)
Slap_Z
.vec
end