module UnLabeled (IntVecV : Vector.S with type elt = int) (IntVecE : Vector.S with type elt = int) : sig .. end
(
IntVecV
:
Vector.S
with type elt = int
)
IntVecE
sig
end
Vector.S with type elt = int
module E: sig .. end
module V: sig .. end
include struct ... end