Implement defined rules for OCaml