Rename to avoid conflict with other ocaml formula