Resolution.Complicated_1
Some more complicated examples of resolution
module type A = sig ... end
module B : sig ... end
module C : A with module M = B with type N.t = int
type t = C.N.t