OCaml package documentation

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