Module type Complicated_1.A

module M : sig ... end
module N : M.S