OCaml package documentation

1. rfsm