module Labeled (LV : DefaultValHashedType) (LE : Vector.DefaultValType) : sig .. end
(
LV
:
DefaultValHashedType
)
LE
Vector.DefaultValType
sig
end
include struct ... end