OCaml package documentation

  1. alt-ergo afe6a7e
  2. alt-ergo-lib afe6a7e