ocaml property validation