OCaml package documentation
infer