sig
type
t
val
default :
Vector
.
DefaultValType
.t
end