Module Ocamlary.With3

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