OCaml package documentation

1. fialyzer