OCaml package documentation

1. redfa