Module type Ocamlary.Empty