OCaml package documentation

  1. alt-ergo adaa8ce
  2. alt-ergo-lib adaa8ce