OCaml package documentation

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