OCaml package documentation

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