Module type Mylib__Ocamlary.With8

module M : module type of With5 with type N.t = With5.N.t