Module type Basic.u2

module type T = sig ... end
module M : T