sig
type
n
val
value : (
Slap_C
.
Vec
.
CNTVEC
.n,
'
cnt)
Slap_C
.vec
end