Module type Ocamlary.M