OCaml package documentation

  1. alt-ergo eddd44d
  2. alt-ergo-js eddd44d
  3. alt-ergo-lib eddd44d