OCaml package documentation

1. logical 0.3.0