Module Ocamlary.With10

module type T = sig ... end

With10.T is a submodule type.