OCaml package documentation

  1. alt-ergo 4d1e17e
  2. alt-ergo-lib 4d1e17e