Module Resolution.Complicated_1

module type A = sig ... end
module B : sig ... end
module C : sig ... end
type t = C.N.t