Module Ocamlary.With4

module N : With2.S