OCaml package documentation

1. validator