OCaml package documentation

  1. alt-ergo e0dfc35
  2. alt-ergo-lib e0dfc35