Module type Ocamlary.With1

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