module M : Gpr1223_foo.S

module N : sig

  module O : sig

    type t = T

  end

end