module Compact (IntVecV : Vector.S with type elt = int) (Int32VecE : Vector.S with type elt = int32) : sig .. end
(
IntVecV
:
Vector.S
with type elt = int
)
Int32VecE
with type elt = int32
sig
end
2^31
Vector.S with type elt = int
Vector.S with type elt = int32
module E: sig .. end
module V: sig .. end
include struct ... end