Module type Ocamlary.With8

module M : sig ... end