2026-06-19 22:18.42: New job: doc dolmen_model.0.8 (cac00da8d6a2)
2026-06-19 22:18.42: Waiting for resource in pool day11-builds
2026-06-19 22:35.18: Got resource from pool day11-builds
2026-06-19 22:35.18: [profile full] doc dolmen_model.0.8
2026-06-19 22:35.18: doc dolmen_model.0.8 (cac00da8d6a2)
=== DEPENDENCIES (0 transitive) ===

=== STDOUT ===
=== DEBUG: pre-voodoo image inventory ===
-- pkg markers (.odoc_pkg_marker) --
/home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/02ad506b2377bbb7a2985c717c2d38ae/ppxlib/0.38.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/0ba1548557f6f9b91ab53840b5ab9963/ppx_hash/v0.17.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/26e59c43b3818006b72ee2f384297858/dune/3.23.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/26e59c43b3818006b72ee2f384297858/ocamlbuild/0.16.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/26e59c43b3818006b72ee2f384297858/ocamlfind/1.9.8/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/26e59c43b3818006b72ee2f384297858/seq/base/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/365a94d9300a95405fdda99a74b58ce7/dolmen_type/0.8/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/3c6003661fddc85ec551edb1221a8a89/dune-configurator/3.23.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/41c596f08ed76564cc5abb58f8756a12/gen/1.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/5073df01d363625e90035dfb917ac0bc/spelll/0.4/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/6981799b926bc32c14338a5b97e84d3b/cppo/1.8.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/6981799b926bc32c14338a5b97e84d3b/csexp/1.5.2/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/6981799b926bc32c14338a5b97e84d3b/menhirCST/20250912/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/6981799b926bc32c14338a5b97e84d3b/menhirLib/20250912/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/6981799b926bc32c14338a5b97e84d3b/menhirSdk/20250912/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/6981799b926bc32c14338a5b97e84d3b/ocaml-compiler-libs/v0.17.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/6981799b926bc32c14338a5b97e84d3b/ocaml_intrinsics_kernel/v0.17.2/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/6981799b926bc32c14338a5b97e84d3b/pp_loc/2.1.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/6981799b926bc32c14338a5b97e84d3b/ppx_derivers/1.2.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/6981799b926bc32c14338a5b97e84d3b/sexplib0/v0.17.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/6981799b926bc32c14338a5b97e84d3b/stdlib-shims/0.3.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/8d753cfcf6d252935fe13435019affc5/topkg/1.1.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/919f46dac58122a8dbf425459f172f1e/ppx_compare/v0.17.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/919f46dac58122a8dbf425459f172f1e/ppx_sexp_conv/v0.17.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/990b4a69660cba5991cefcedb9639df9/menhir/20250912/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/c99e1c0701bf6385f335268f3a3efdc5/base/v0.17.3/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/e2f09fe12150c57eaa5db5bf4a05f3f8/ppxlib_jane/v0.17.4/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/ee2640030295a455f4832f356fa4fd0c/fmt/0.11.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/ee2640030295a455f4832f356fa4fd0c/uutf/1.0.4/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/.odoc_pkg_marker
-- lib markers (.odoc_lib_marker) --
/home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/compiler-libs.bytecomp/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/compiler-libs.common/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/compiler-libs.optcomp/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/compiler-libs.toplevel/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/dynlink/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/odoc_info/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/runtime_events/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/str/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/threads/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/unix/.odoc_lib_marker
/home/opam/odoc-out/u/02ad506b2377bbb7a2985c717c2d38ae/ppxlib/0.38.0/doc/ppxlib.ast/.odoc_lib_marker
/home/opam/odoc-out/u/02ad506b2377bbb7a2985c717c2d38ae/ppxlib/0.38.0/doc/ppxlib.astlib/.odoc_lib_marker
/home/opam/odoc-out/u/02ad506b2377bbb7a2985c717c2d38ae/ppxlib/0.38.0/doc/ppxlib.metaquot_lifters/.odoc_lib_marker
/home/opam/odoc-out/u/02ad506b2377bbb7a2985c717c2d38ae/ppxlib/0.38.0/doc/ppxlib.print_diff/.odoc_lib_marker
/home/opam/odoc-out/u/02ad506b2377bbb7a2985c717c2d38ae/ppxlib/0.38.0/doc/ppxlib.runner/.odoc_lib_marker
/home/opam/odoc-out/u/02ad506b2377bbb7a2985c717c2d38ae/ppxlib/0.38.0/doc/ppxlib.runner_as_ppx/.odoc_lib_marker
/home/opam/odoc-out/u/02ad506b2377bbb7a2985c717c2d38ae/ppxlib/0.38.0/doc/ppxlib.stdppx/.odoc_lib_marker
/home/opam/odoc-out/u/02ad506b2377bbb7a2985c717c2d38ae/ppxlib/0.38.0/doc/ppxlib.traverse_builtins/.odoc_lib_marker
/home/opam/odoc-out/u/02ad506b2377bbb7a2985c717c2d38ae/ppxlib/0.38.0/doc/ppxlib/.odoc_lib_marker
/home/opam/odoc-out/u/02ad506b2377bbb7a2985c717c2d38ae/ppxlib/0.38.0/doc/ppxlib_metaquot/.odoc_lib_marker
/home/opam/odoc-out/u/02ad506b2377bbb7a2985c717c2d38ae/ppxlib/0.38.0/doc/ppxlib_traverse/.odoc_lib_marker
/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.ae/.odoc_lib_marker
/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.class/.odoc_lib_marker
/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.dimacs/.odoc_lib_marker
/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.icnf/.odoc_lib_marker
/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/.odoc_lib_marker
/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.line/.odoc_lib_marker
/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.smtlib2/.odoc_lib_marker
/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/.odoc_lib_marker
/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.tptp/.odoc_lib_marker
/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.zf/.odoc_lib_marker
/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/.odoc_lib_marker
/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen_smtlib2_poly/.odoc_lib_marker
/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen_smtlib2_v6/.odoc_lib_marker
/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen_smtlib2_v6_response/.odoc_lib_marker
/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen_smtlib2_v6_script/.odoc_lib_marker
/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen_tptp_v6_3_0/.odoc_lib_marker
/home/opam/odoc-out/u/0ba1548557f6f9b91ab53840b5ab9963/ppx_hash/v0.17.0/doc/ppx_hash.expander/.odoc_lib_marker
/home/opam/odoc-out/u/0ba1548557f6f9b91ab53840b5ab9963/ppx_hash/v0.17.0/doc/ppx_hash.runtime-lib/.odoc_lib_marker
/home/opam/odoc-out/u/0ba1548557f6f9b91ab53840b5ab9963/ppx_hash/v0.17.0/doc/ppx_hash/.odoc_lib_marker
/home/opam/odoc-out/u/26e59c43b3818006b72ee2f384297858/ocamlbuild/0.16.1/doc/ocamlbuild/.odoc_lib_marker
/home/opam/odoc-out/u/26e59c43b3818006b72ee2f384297858/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
/home/opam/odoc-out/u/26e59c43b3818006b72ee2f384297858/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
/home/opam/odoc-out/u/26e59c43b3818006b72ee2f384297858/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
/home/opam/odoc-out/u/365a94d9300a95405fdda99a74b58ce7/dolmen_type/0.8/doc/dolmen_type/.odoc_lib_marker
/home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/.odoc_lib_marker
/home/opam/odoc-out/u/3c6003661fddc85ec551edb1221a8a89/dune-configurator/3.23.1/doc/dune-configurator/.odoc_lib_marker
/home/opam/odoc-out/u/41c596f08ed76564cc5abb58f8756a12/gen/1.1/doc/gen/.odoc_lib_marker
/home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/.odoc_lib_marker
/home/opam/odoc-out/u/5073df01d363625e90035dfb917ac0bc/spelll/0.4/doc/spelll/.odoc_lib_marker
/home/opam/odoc-out/u/6981799b926bc32c14338a5b97e84d3b/csexp/1.5.2/doc/csexp/.odoc_lib_marker
/home/opam/odoc-out/u/6981799b926bc32c14338a5b97e84d3b/menhirCST/20250912/doc/menhirCST/.odoc_lib_marker
/home/opam/odoc-out/u/6981799b926bc32c14338a5b97e84d3b/menhirLib/20250912/doc/menhirLib/.odoc_lib_marker
/home/opam/odoc-out/u/6981799b926bc32c14338a5b97e84d3b/menhirSdk/20250912/doc/menhirSdk/.odoc_lib_marker
/home/opam/odoc-out/u/6981799b926bc32c14338a5b97e84d3b/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.bytecomp/.odoc_lib_marker
/home/opam/odoc-out/u/6981799b926bc32c14338a5b97e84d3b/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.common/.odoc_lib_marker
/home/opam/odoc-out/u/6981799b926bc32c14338a5b97e84d3b/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.optcomp/.odoc_lib_marker
/home/opam/odoc-out/u/6981799b926bc32c14338a5b97e84d3b/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.shadow/.odoc_lib_marker
/home/opam/odoc-out/u/6981799b926bc32c14338a5b97e84d3b/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.toplevel/.odoc_lib_marker
/home/opam/odoc-out/u/6981799b926bc32c14338a5b97e84d3b/ocaml_intrinsics_kernel/v0.17.2/doc/ocaml_intrinsics_kernel/.odoc_lib_marker
/home/opam/odoc-out/u/6981799b926bc32c14338a5b97e84d3b/pp_loc/2.1.0/doc/pp_loc/.odoc_lib_marker
/home/opam/odoc-out/u/6981799b926bc32c14338a5b97e84d3b/ppx_derivers/1.2.1/doc/ppx_derivers/.odoc_lib_marker
/home/opam/odoc-out/u/6981799b926bc32c14338a5b97e84d3b/sexplib0/v0.17.0/doc/sexplib0/.odoc_lib_marker
/home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/.odoc_lib_marker
/home/opam/odoc-out/u/8d753cfcf6d252935fe13435019affc5/topkg/1.1.1/doc/topkg/.odoc_lib_marker
/home/opam/odoc-out/u/919f46dac58122a8dbf425459f172f1e/ppx_compare/v0.17.0/doc/ppx_compare.expander/.odoc_lib_marker
/home/opam/odoc-out/u/919f46dac58122a8dbf425459f172f1e/ppx_compare/v0.17.0/doc/ppx_compare.runtime-lib/.odoc_lib_marker
/home/opam/odoc-out/u/919f46dac58122a8dbf425459f172f1e/ppx_compare/v0.17.0/doc/ppx_compare/.odoc_lib_marker
/home/opam/odoc-out/u/919f46dac58122a8dbf425459f172f1e/ppx_sexp_conv/v0.17.1/doc/ppx_sexp_conv.expander/.odoc_lib_marker
/home/opam/odoc-out/u/919f46dac58122a8dbf425459f172f1e/ppx_sexp_conv/v0.17.1/doc/ppx_sexp_conv.runtime-lib/.odoc_lib_marker
/home/opam/odoc-out/u/919f46dac58122a8dbf425459f172f1e/ppx_sexp_conv/v0.17.1/doc/ppx_sexp_conv/.odoc_lib_marker
/home/opam/odoc-out/u/c99e1c0701bf6385f335268f3a3efdc5/base/v0.17.3/doc/base.base_internalhash_types/.odoc_lib_marker
/home/opam/odoc-out/u/c99e1c0701bf6385f335268f3a3efdc5/base/v0.17.3/doc/base.md5/.odoc_lib_marker
/home/opam/odoc-out/u/c99e1c0701bf6385f335268f3a3efdc5/base/v0.17.3/doc/base.shadow_stdlib/.odoc_lib_marker
/home/opam/odoc-out/u/c99e1c0701bf6385f335268f3a3efdc5/base/v0.17.3/doc/base/.odoc_lib_marker
/home/opam/odoc-out/u/e2f09fe12150c57eaa5db5bf4a05f3f8/ppxlib_jane/v0.17.4/doc/ppxlib_jane/.odoc_lib_marker
/home/opam/odoc-out/u/ee2640030295a455f4832f356fa4fd0c/fmt/0.11.0/doc/fmt.tty/.odoc_lib_marker
/home/opam/odoc-out/u/ee2640030295a455f4832f356fa4fd0c/fmt/0.11.0/doc/fmt/.odoc_lib_marker
/home/opam/odoc-out/u/ee2640030295a455f4832f356fa4fd0c/uutf/1.0.4/doc/uutf/.odoc_lib_marker
/home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.api/.odoc_lib_marker
/home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/.odoc_lib_marker
/home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving_create/.odoc_lib_marker
/home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving_enum/.odoc_lib_marker
/home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving_eq/.odoc_lib_marker
/home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving_fold/.odoc_lib_marker
/home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving_iter/.odoc_lib_marker
/home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving_make/.odoc_lib_marker
/home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving_map/.odoc_lib_marker
/home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving_ord/.odoc_lib_marker
/home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving_show/.odoc_lib_marker
/home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving_std/.odoc_lib_marker
-- prep universes (universe/pkg/version) --
/home/opam/prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/
=== END DEBUG ===
process_meta_file: prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/META
odoc_driver_voodoo: [DEBUG] all_lib_deps: dolmen_model, [8]

odoc_driver_voodoo: [DEBUG] No config file found: prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/odoc-config.sexp
prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/odoc-config.sexp: No such file or directory

odoc_driver_voodoo: [DEBUG] Config.packages: 

process_meta_file: prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/META
odoc_driver_voodoo: [DEBUG] prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model,dolmen_model

odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/

odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/ for package dolmen_model
odoc_driver_voodoo: [DEBUG] 0 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/
odoc_driver_voodoo: [DEBUG] Got 1 lines
odoc_driver_voodoo: [DEBUG] Checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model.cmti (then prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/Dolmen_model.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model.cmt (then prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/Dolmen_model.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Adt.cmti (then prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/Dolmen_model__Adt.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Adt.cmt (then prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/Dolmen_model__Adt.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Array.cmti (then prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/Dolmen_model__Array.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Array.cmt (then prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/Dolmen_model__Array.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Bitv.cmti (then prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/Dolmen_model__Bitv.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Bitv.cmt (then prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/Dolmen_model__Bitv.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Bool.cmti (then prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/Dolmen_model__Bool.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Bool.cmt (then prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/Dolmen_model__Bool.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Coercion.cmti (then prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/Dolmen_model__Coercion.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Coercion.cmt (then prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/Dolmen_model__Coercion.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Core.cmti (then prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/Dolmen_model__Core.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Core.cmt (then prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/Dolmen_model__Core.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Env.cmti (then prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/Dolmen_model__Env.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Env.cmt (then prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/Dolmen_model__Env.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Eval.cmti (then prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/Dolmen_model__Eval.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Eval.cmt (then prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/Dolmen_model__Eval.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Fp.cmti (then prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/Dolmen_model__Fp.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Fp.cmt (then prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/Dolmen_model__Fp.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Fun.cmti (then prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/Dolmen_model__Fun.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Fun.cmt (then prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/Dolmen_model__Fun.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Int.cmti (then prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/Dolmen_model__Int.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Int.cmt (then prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/Dolmen_model__Int.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Loop.cmti (then prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/Dolmen_model__Loop.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Loop.cmt (then prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/Dolmen_model__Loop.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Model.cmti (then prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/Dolmen_model__Model.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Model.cmt (then prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/Dolmen_model__Model.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Rat.cmti (then prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/Dolmen_model__Rat.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Rat.cmt (then prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/Dolmen_model__Rat.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Real.cmti (then prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/Dolmen_model__Real.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Real.cmt (then prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/Dolmen_model__Real.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Value.cmti (then prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/Dolmen_model__Value.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Value.cmt (then prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/Dolmen_model__Value.cmt)
odoc_driver_voodoo: [DEBUG] 1 - Executing: ocamlobjinfo prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model.cmt
odoc_driver_voodoo: [DEBUG] 2 - Executing: ocamlobjinfo prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Adt.cmt
odoc_driver_voodoo: [DEBUG] 3 - Executing: ocamlobjinfo prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Array.cmt
odoc_driver_voodoo: [DEBUG] 4 - Executing: ocamlobjinfo prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Bitv.cmt
odoc_driver_voodoo: [DEBUG] 5 - Executing: ocamlobjinfo prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Bool.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model.ml-gen
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model.ml for Dolmen_model
odoc_driver_voodoo: [DEBUG] 6 - Executing: ocamlobjinfo prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Coercion.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/adt.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/adt.ml for Dolmen_model__Adt
odoc_driver_voodoo: [DEBUG] 7 - Executing: ocamlobjinfo prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Core.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/array.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/array.ml for Dolmen_model__Array
odoc_driver_voodoo: [DEBUG] 8 - Executing: ocamlobjinfo prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Env.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/bitv.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/bitv.ml for Dolmen_model__Bitv
odoc_driver_voodoo: [DEBUG] 9 - Executing: ocamlobjinfo prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Eval.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/bool.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/bool.ml for Dolmen_model__Bool
odoc_driver_voodoo: [DEBUG] 10 - Executing: ocamlobjinfo prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Fp.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/coercion.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/coercion.ml for Dolmen_model__Coercion
odoc_driver_voodoo: [DEBUG] 11 - Executing: ocamlobjinfo prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Fun.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/core.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/core.ml for Dolmen_model__Core
odoc_driver_voodoo: [DEBUG] 12 - Executing: ocamlobjinfo prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Int.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/env.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/env.ml for Dolmen_model__Env
odoc_driver_voodoo: [DEBUG] 13 - Executing: ocamlobjinfo prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Loop.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/eval.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/eval.ml for Dolmen_model__Eval
odoc_driver_voodoo: [DEBUG] 14 - Executing: ocamlobjinfo prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Model.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/fun.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/fun.ml for Dolmen_model__Fun
odoc_driver_voodoo: [DEBUG] 15 - Executing: ocamlobjinfo prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Rat.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/fp.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/fp.ml for Dolmen_model__Fp
odoc_driver_voodoo: [DEBUG] 16 - Executing: ocamlobjinfo prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Real.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/int.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/int.ml for Dolmen_model__Int
odoc_driver_voodoo: [DEBUG] 17 - Executing: ocamlobjinfo prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Value.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/loop.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/loop.ml for Dolmen_model__Loop
odoc_driver_voodoo: [DEBUG] 18 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/rat.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/rat.ml for Dolmen_model__Rat
odoc_driver_voodoo: [DEBUG] 19 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Adt.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/model.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/model.ml for Dolmen_model__Model
odoc_driver_voodoo: [DEBUG] 20 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Array.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/real.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/real.ml for Dolmen_model__Real
odoc_driver_voodoo: [DEBUG] 21 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Bitv.cmt
odoc_driver_voodoo: [DEBUG] 22 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Bool.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/value.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/value.ml for Dolmen_model__Value
odoc_driver_voodoo: [DEBUG] 23 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Coercion.cmt
odoc_driver_voodoo: [DEBUG] 24 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Core.cmt
odoc_driver_voodoo: [DEBUG] 25 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Env.cmt
odoc_driver_voodoo: [DEBUG] 26 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Eval.cmt
odoc_driver_voodoo: [DEBUG] 27 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Fun.cmt
odoc_driver_voodoo: [DEBUG] 28 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Fp.cmt
odoc_driver_voodoo: [DEBUG] 29 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Int.cmt
odoc_driver_voodoo: [DEBUG] 30 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Loop.cmt
odoc_driver_voodoo: [DEBUG] 31 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Rat.cmt
odoc_driver_voodoo: [DEBUG] 32 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Model.cmt
odoc_driver_voodoo: [DEBUG] 33 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Real.cmt
odoc_driver_voodoo: [DEBUG] 34 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model.cmt
odoc_driver_voodoo: [DEBUG] 35 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Value.cmt
odoc_driver_voodoo: [DEBUG] 36 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Adt.cmt
odoc_driver_voodoo: [DEBUG] 37 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Bitv.cmti
odoc_driver_voodoo: [DEBUG] 38 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Coercion.cmt
odoc_driver_voodoo: [DEBUG] 39 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Bool.cmti
odoc_driver_voodoo: [DEBUG] 40 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Array.cmt
odoc_driver_voodoo: [DEBUG] 41 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Core.cmt
odoc_driver_voodoo: [DEBUG] 42 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Eval.cmt
odoc_driver_voodoo: [DEBUG] 43 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Fun.cmt
odoc_driver_voodoo: [DEBUG] 44 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Env.cmti
odoc_driver_voodoo: [DEBUG] 45 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Fp.cmti
odoc_driver_voodoo: [DEBUG] 46 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Loop.cmt
odoc_driver_voodoo: [DEBUG] 47 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Model.cmti
odoc_driver_voodoo: [DEBUG] 48 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Int.cmti
odoc_driver_voodoo: [DEBUG] 49 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Rat.cmti
odoc_driver_voodoo: [DEBUG] 50 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Real.cmti
odoc_driver_voodoo: [DEBUG] 51 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Value.cmti
odoc_driver_voodoo: [DEBUG] libdirs_without_meta: 

odoc_driver_voodoo: [DEBUG] lib dirs: prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/

odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.5.0/doc/unix/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.5.0/doc/stdlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.5.0/doc/dynlink/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.5.0/doc/compiler-libs.toplevel/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.5.0/doc/odoc_info/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.5.0/doc/compiler-libs.common/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.5.0/doc/compiler-libs.bytecomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.5.0/doc/compiler-libs.optcomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.5.0/doc/str/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.5.0/doc/runtime_events/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.5.0/doc/threads/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/ocaml-compiler/5.5.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/26e59c43b3818006b72ee2f384297858/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/26e59c43b3818006b72ee2f384297858/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/26e59c43b3818006b72ee2f384297858/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/26e59c43b3818006b72ee2f384297858/ocamlfind/1.9.8/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/26e59c43b3818006b72ee2f384297858/dune/3.23.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/26e59c43b3818006b72ee2f384297858/ocamlbuild/0.16.1/doc/ocamlbuild/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/26e59c43b3818006b72ee2f384297858/ocamlbuild/0.16.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/26e59c43b3818006b72ee2f384297858/seq/base/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving_make/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.api/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving_eq/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving_std/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving_iter/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving_show/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving_map/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving_create/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving_enum/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving_ord/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving_fold/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/3c6003661fddc85ec551edb1221a8a89/dune-configurator/3.23.1/doc/dune-configurator/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/3c6003661fddc85ec551edb1221a8a89/dune-configurator/3.23.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/8d753cfcf6d252935fe13435019affc5/topkg/1.1.1/doc/topkg/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/8d753cfcf6d252935fe13435019affc5/topkg/1.1.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/990b4a69660cba5991cefcedb9639df9/menhir/20250912/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/6981799b926bc32c14338a5b97e84d3b/sexplib0/v0.17.0/doc/sexplib0/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/6981799b926bc32c14338a5b97e84d3b/sexplib0/v0.17.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/6981799b926bc32c14338a5b97e84d3b/ppx_derivers/1.2.1/doc/ppx_derivers/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/6981799b926bc32c14338a5b97e84d3b/ppx_derivers/1.2.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/6981799b926bc32c14338a5b97e84d3b/csexp/1.5.2/doc/csexp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/6981799b926bc32c14338a5b97e84d3b/csexp/1.5.2/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/6981799b926bc32c14338a5b97e84d3b/menhirCST/20250912/doc/menhirCST/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/6981799b926bc32c14338a5b97e84d3b/menhirCST/20250912/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/6981799b926bc32c14338a5b97e84d3b/cppo/1.8.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/6981799b926bc32c14338a5b97e84d3b/stdlib-shims/0.3.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/6981799b926bc32c14338a5b97e84d3b/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.common/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/6981799b926bc32c14338a5b97e84d3b/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.toplevel/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/6981799b926bc32c14338a5b97e84d3b/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.optcomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/6981799b926bc32c14338a5b97e84d3b/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.shadow/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/6981799b926bc32c14338a5b97e84d3b/ocaml-compiler-libs/v0.17.0/doc/ocaml-compiler-libs.bytecomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/6981799b926bc32c14338a5b97e84d3b/ocaml-compiler-libs/v0.17.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/6981799b926bc32c14338a5b97e84d3b/menhirSdk/20250912/doc/menhirSdk/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/6981799b926bc32c14338a5b97e84d3b/menhirSdk/20250912/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/6981799b926bc32c14338a5b97e84d3b/menhirLib/20250912/doc/menhirLib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/6981799b926bc32c14338a5b97e84d3b/menhirLib/20250912/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/6981799b926bc32c14338a5b97e84d3b/pp_loc/2.1.0/doc/pp_loc/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/6981799b926bc32c14338a5b97e84d3b/pp_loc/2.1.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/6981799b926bc32c14338a5b97e84d3b/ocaml_intrinsics_kernel/v0.17.2/doc/ocaml_intrinsics_kernel/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/6981799b926bc32c14338a5b97e84d3b/ocaml_intrinsics_kernel/v0.17.2/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/41c596f08ed76564cc5abb58f8756a12/gen/1.1/doc/gen/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/41c596f08ed76564cc5abb58f8756a12/gen/1.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/0ba1548557f6f9b91ab53840b5ab9963/ppx_hash/v0.17.0/doc/ppx_hash.expander/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/0ba1548557f6f9b91ab53840b5ab9963/ppx_hash/v0.17.0/doc/ppx_hash/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/0ba1548557f6f9b91ab53840b5ab9963/ppx_hash/v0.17.0/doc/ppx_hash.runtime-lib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/0ba1548557f6f9b91ab53840b5ab9963/ppx_hash/v0.17.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/02ad506b2377bbb7a2985c717c2d38ae/ppxlib/0.38.0/doc/ppxlib.astlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/02ad506b2377bbb7a2985c717c2d38ae/ppxlib/0.38.0/doc/ppxlib.print_diff/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/02ad506b2377bbb7a2985c717c2d38ae/ppxlib/0.38.0/doc/ppxlib.ast/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/02ad506b2377bbb7a2985c717c2d38ae/ppxlib/0.38.0/doc/ppxlib.metaquot_lifters/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/02ad506b2377bbb7a2985c717c2d38ae/ppxlib/0.38.0/doc/ppxlib_traverse/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/02ad506b2377bbb7a2985c717c2d38ae/ppxlib/0.38.0/doc/ppxlib_metaquot/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/02ad506b2377bbb7a2985c717c2d38ae/ppxlib/0.38.0/doc/ppxlib.runner/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/02ad506b2377bbb7a2985c717c2d38ae/ppxlib/0.38.0/doc/ppxlib.runner_as_ppx/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/02ad506b2377bbb7a2985c717c2d38ae/ppxlib/0.38.0/doc/ppxlib.stdppx/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/02ad506b2377bbb7a2985c717c2d38ae/ppxlib/0.38.0/doc/ppxlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/02ad506b2377bbb7a2985c717c2d38ae/ppxlib/0.38.0/doc/ppxlib.traverse_builtins/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/02ad506b2377bbb7a2985c717c2d38ae/ppxlib/0.38.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ee2640030295a455f4832f356fa4fd0c/fmt/0.11.0/doc/fmt.tty/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ee2640030295a455f4832f356fa4fd0c/fmt/0.11.0/doc/fmt/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/ee2640030295a455f4832f356fa4fd0c/fmt/0.11.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ee2640030295a455f4832f356fa4fd0c/uutf/1.0.4/doc/uutf/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/ee2640030295a455f4832f356fa4fd0c/uutf/1.0.4/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/c99e1c0701bf6385f335268f3a3efdc5/base/v0.17.3/doc/base.base_internalhash_types/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/c99e1c0701bf6385f335268f3a3efdc5/base/v0.17.3/doc/base.shadow_stdlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/c99e1c0701bf6385f335268f3a3efdc5/base/v0.17.3/doc/base/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/c99e1c0701bf6385f335268f3a3efdc5/base/v0.17.3/doc/base.md5/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/c99e1c0701bf6385f335268f3a3efdc5/base/v0.17.3/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/919f46dac58122a8dbf425459f172f1e/ppx_sexp_conv/v0.17.1/doc/ppx_sexp_conv/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/919f46dac58122a8dbf425459f172f1e/ppx_sexp_conv/v0.17.1/doc/ppx_sexp_conv.runtime-lib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/919f46dac58122a8dbf425459f172f1e/ppx_sexp_conv/v0.17.1/doc/ppx_sexp_conv.expander/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/919f46dac58122a8dbf425459f172f1e/ppx_sexp_conv/v0.17.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/919f46dac58122a8dbf425459f172f1e/ppx_compare/v0.17.0/doc/ppx_compare.expander/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/919f46dac58122a8dbf425459f172f1e/ppx_compare/v0.17.0/doc/ppx_compare.runtime-lib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/919f46dac58122a8dbf425459f172f1e/ppx_compare/v0.17.0/doc/ppx_compare/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/919f46dac58122a8dbf425459f172f1e/ppx_compare/v0.17.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen_smtlib2_v6/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.dimacs/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.zf/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.line/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.ae/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.tptp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen_smtlib2_poly/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.class/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen_tptp_v6_3_0/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen_smtlib2_v6_response/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.icnf/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.smtlib2/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen_smtlib2_v6_script/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/e2f09fe12150c57eaa5db5bf4a05f3f8/ppxlib_jane/v0.17.4/doc/ppxlib_jane/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/e2f09fe12150c57eaa5db5bf4a05f3f8/ppxlib_jane/v0.17.4/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/365a94d9300a95405fdda99a74b58ce7/dolmen_type/0.8/doc/dolmen_type/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/365a94d9300a95405fdda99a74b58ce7/dolmen_type/0.8/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/5073df01d363625e90035dfb917ac0bc/spelll/0.4/doc/spelll/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/5073df01d363625e90035dfb917ac0bc/spelll/0.4/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Fixing virtual libraries: 901 precompiled units, 17 other units
odoc_driver_voodoo: [DEBUG] 52 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc
odoc_driver_voodoo: [DEBUG] 53 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/src/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/src
odoc_driver_voodoo: [DEBUG] 54 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model
odoc_driver_voodoo: [DEBUG] 55 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model --warnings-tag dolmen_model
odoc_driver_voodoo: [DEBUG] 56 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model --source-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/src/dolmen_model/dolmen_model.ml
odoc_driver_voodoo: [DEBUG] 57 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Adt.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model --source-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/src/dolmen_model/adt.ml
odoc_driver_voodoo: [DEBUG] 58 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Array.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model --source-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/src/dolmen_model/array.ml
odoc_driver_voodoo: [DEBUG] 59 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Bitv.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model --source-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/src/dolmen_model/bitv.ml
odoc_driver_voodoo: [DEBUG] 60 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Bool.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model --source-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/src/dolmen_model/bool.ml
odoc_driver_voodoo: [DEBUG] 61 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Coercion.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model --source-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/src/dolmen_model/coercion.ml
odoc_driver_voodoo: [DEBUG] 62 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Core.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model --source-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/src/dolmen_model/core.ml
odoc_driver_voodoo: [DEBUG] 63 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Env.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model --source-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/src/dolmen_model/env.ml
odoc_driver_voodoo: [DEBUG] 64 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Eval.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model --source-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/src/dolmen_model/eval.ml
odoc_driver_voodoo: [DEBUG] 65 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Fp.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model --source-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/src/dolmen_model/fp.ml
odoc_driver_voodoo: [DEBUG] 66 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Fun.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model --source-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/src/dolmen_model/fun.ml
odoc_driver_voodoo: [DEBUG] 67 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Int.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model --source-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/src/dolmen_model/int.ml
odoc_driver_voodoo: [DEBUG] 68 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Loop.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model --source-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/src/dolmen_model/loop.ml
odoc_driver_voodoo: [DEBUG] 69 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Model.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model --source-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/src/dolmen_model/model.ml
odoc_driver_voodoo: [DEBUG] 70 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Rat.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model --source-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/src/dolmen_model/rat.ml
odoc_driver_voodoo: [DEBUG] 71 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Real.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model --source-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/src/dolmen_model/real.ml
odoc_driver_voodoo: [DEBUG] 72 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Value.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model --source-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/src/dolmen_model/value.ml
odoc_driver_voodoo: [DEBUG] 73 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Value.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model --warnings-tag dolmen_model
odoc_driver_voodoo: [DEBUG] 74 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Model.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model --warnings-tag dolmen_model
odoc_driver_voodoo: [DEBUG] 75 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Env.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model --warnings-tag dolmen_model
odoc_driver_voodoo: [DEBUG] 76 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Fun.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model --warnings-tag dolmen_model
odoc_driver_voodoo: [DEBUG] 77 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Bool.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model --warnings-tag dolmen_model
odoc_driver_voodoo: [DEBUG] 78 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Bitv.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model --warnings-tag dolmen_model
odoc_driver_voodoo: [DEBUG] 79 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Real.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model --warnings-tag dolmen_model
odoc_driver_voodoo: [DEBUG] 80 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Rat.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model --warnings-tag dolmen_model
odoc_driver_voodoo: [DEBUG] 81 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Int.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model --warnings-tag dolmen_model
odoc_driver_voodoo: [DEBUG] 82 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Fp.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model --warnings-tag dolmen_model
odoc_driver_voodoo: [DEBUG] 83 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Adt.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model --warnings-tag dolmen_model
odoc_driver_voodoo: [DEBUG] 84 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Core.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model --warnings-tag dolmen_model
odoc_driver_voodoo: [DEBUG] 85 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Coercion.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model --warnings-tag dolmen_model
odoc_driver_voodoo: [DEBUG] 86 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Eval.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model --warnings-tag dolmen_model
odoc_driver_voodoo: [DEBUG] 87 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Array.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model --warnings-tag dolmen_model
odoc_driver_voodoo: [DEBUG] 88 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model__Loop.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --enable-missing-root-warning --parent-id u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model --warnings-tag dolmen_model
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/src/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/dolmen_model.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/dolmen_model__Adt.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Adt.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/dolmen_model__Array.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Array.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/dolmen_model__Bitv.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Bitv.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/dolmen_model__Bool.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Bool.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/dolmen_model__Coercion.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Coercion.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/dolmen_model__Core.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Core.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/dolmen_model__Env.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Env.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/dolmen_model__Eval.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Eval.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/dolmen_model__Fp.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Fp.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/dolmen_model__Fun.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Fun.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/dolmen_model__Int.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Int.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/dolmen_model__Loop.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Loop.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/dolmen_model__Model.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Model.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/dolmen_model__Rat.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Rat.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/dolmen_model__Real.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Real.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/dolmen_model__Value.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Value.odoc
odoc_driver_voodoo: [DEBUG] 89 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/page-index.odoc -o /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/page-index.odocl -P dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc -L dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model --enable-missing-root-warning --warnings-tags dolmen_model
odoc_driver_voodoo: [DEBUG] 90 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/src/page-index.odoc -o /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/src/page-index.odocl --enable-missing-root-warning --warnings-tags dolmen_model
odoc_driver_voodoo: [DEBUG] 91 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/page-index.odoc -o /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/page-index.odocl -L dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model --enable-missing-root-warning --warnings-tags dolmen_model
odoc_driver_voodoo: [DEBUG] 92 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/dolmen_model.odoc -o /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/dolmen_model.odocl -P dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc -L dolmen:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -L dolmen.intf:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -L dolmen.std:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -L dolmen_loop:/home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -L dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -L farith:/home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -L ppx_deriving.runtime:/home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -L zarith:/home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --current-package dolmen_model --enable-missing-root-warning --warnings-tags dolmen_model
odoc_driver_voodoo: [DEBUG] 93 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model.odoc -o /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model.odocl -P dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc -L dolmen:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -L dolmen.intf:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -L dolmen.std:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -L dolmen_loop:/home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -L dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -L farith:/home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -L ppx_deriving.runtime:/home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -L zarith:/home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --current-package dolmen_model --enable-missing-root-warning --warnings-tags dolmen_model
odoc_driver_voodoo: [DEBUG] 94 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Adt.odoc -o /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Adt.odocl -P dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc -L dolmen:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -L dolmen.intf:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -L dolmen.std:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -L dolmen_loop:/home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -L dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -L farith:/home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -L ppx_deriving.runtime:/home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -L zarith:/home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --current-package dolmen_model --enable-missing-root-warning --warnings-tags dolmen_model
odoc_driver_voodoo: [DEBUG] 95 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Array.odoc -o /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Array.odocl -P dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc -L dolmen:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -L dolmen.intf:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -L dolmen.std:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -L dolmen_loop:/home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -L dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -L farith:/home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -L ppx_deriving.runtime:/home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -L zarith:/home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --current-package dolmen_model --enable-missing-root-warning --warnings-tags dolmen_model
odoc_driver_voodoo: [DEBUG] 96 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Bitv.odoc -o /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Bitv.odocl -P dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc -L dolmen:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -L dolmen.intf:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -L dolmen.std:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -L dolmen_loop:/home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -L dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -L farith:/home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -L ppx_deriving.runtime:/home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -L zarith:/home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --current-package dolmen_model --enable-missing-root-warning --warnings-tags dolmen_model
odoc_driver_voodoo: [DEBUG] 97 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Bool.odoc -o /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Bool.odocl -P dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc -L dolmen:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -L dolmen.intf:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -L dolmen.std:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -L dolmen_loop:/home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -L dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -L farith:/home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -L ppx_deriving.runtime:/home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -L zarith:/home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --current-package dolmen_model --enable-missing-root-warning --warnings-tags dolmen_model
odoc_driver_voodoo: [DEBUG] 98 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Coercion.odoc -o /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Coercion.odocl -P dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc -L dolmen:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -L dolmen.intf:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -L dolmen.std:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -L dolmen_loop:/home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -L dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -L farith:/home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -L ppx_deriving.runtime:/home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -L zarith:/home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --current-package dolmen_model --enable-missing-root-warning --warnings-tags dolmen_model
odoc_driver_voodoo: [DEBUG] 99 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Core.odoc -o /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Core.odocl -P dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc -L dolmen:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -L dolmen.intf:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -L dolmen.std:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -L dolmen_loop:/home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -L dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -L farith:/home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -L ppx_deriving.runtime:/home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -L zarith:/home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --current-package dolmen_model --enable-missing-root-warning --warnings-tags dolmen_model
odoc_driver_voodoo: [DEBUG] 100 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Env.odoc -o /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Env.odocl -P dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc -L dolmen:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -L dolmen.intf:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -L dolmen.std:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -L dolmen_loop:/home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -L dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -L farith:/home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -L ppx_deriving.runtime:/home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -L zarith:/home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --current-package dolmen_model --enable-missing-root-warning --warnings-tags dolmen_model
odoc_driver_voodoo: [DEBUG] 101 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Eval.odoc -o /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Eval.odocl -P dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc -L dolmen:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -L dolmen.intf:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -L dolmen.std:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -L dolmen_loop:/home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -L dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -L farith:/home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -L ppx_deriving.runtime:/home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -L zarith:/home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --current-package dolmen_model --enable-missing-root-warning --warnings-tags dolmen_model
odoc_driver_voodoo: [DEBUG] 102 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Fp.odoc -o /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Fp.odocl -P dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc -L dolmen:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -L dolmen.intf:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -L dolmen.std:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -L dolmen_loop:/home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -L dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -L farith:/home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -L ppx_deriving.runtime:/home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -L zarith:/home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --current-package dolmen_model --enable-missing-root-warning --warnings-tags dolmen_model
odoc_driver_voodoo: [DEBUG] 103 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Fun.odoc -o /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Fun.odocl -P dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc -L dolmen:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -L dolmen.intf:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -L dolmen.std:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -L dolmen_loop:/home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -L dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -L farith:/home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -L ppx_deriving.runtime:/home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -L zarith:/home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --current-package dolmen_model --enable-missing-root-warning --warnings-tags dolmen_model
odoc_driver_voodoo: [DEBUG] 104 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Int.odoc -o /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Int.odocl -P dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc -L dolmen:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -L dolmen.intf:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -L dolmen.std:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -L dolmen_loop:/home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -L dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -L farith:/home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -L ppx_deriving.runtime:/home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -L zarith:/home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --current-package dolmen_model --enable-missing-root-warning --warnings-tags dolmen_model
odoc_driver_voodoo: [DEBUG] 105 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Loop.odoc -o /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Loop.odocl -P dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc -L dolmen:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -L dolmen.intf:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -L dolmen.std:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -L dolmen_loop:/home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -L dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -L farith:/home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -L ppx_deriving.runtime:/home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -L zarith:/home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --current-package dolmen_model --enable-missing-root-warning --warnings-tags dolmen_model
odoc_driver_voodoo: [DEBUG] 106 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Model.odoc -o /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Model.odocl -P dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc -L dolmen:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -L dolmen.intf:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -L dolmen.std:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -L dolmen_loop:/home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -L dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -L farith:/home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -L ppx_deriving.runtime:/home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -L zarith:/home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --current-package dolmen_model --enable-missing-root-warning --warnings-tags dolmen_model
odoc_driver_voodoo: [DEBUG] 107 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Rat.odoc -o /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Rat.odocl -P dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc -L dolmen:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -L dolmen.intf:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -L dolmen.std:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -L dolmen_loop:/home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -L dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -L farith:/home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -L ppx_deriving.runtime:/home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -L zarith:/home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --current-package dolmen_model --enable-missing-root-warning --warnings-tags dolmen_model
odoc_driver_voodoo: [DEBUG] 108 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Real.odoc -o /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Real.odocl -P dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc -L dolmen:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -L dolmen.intf:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -L dolmen.std:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -L dolmen_loop:/home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -L dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -L farith:/home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -L ppx_deriving.runtime:/home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -L zarith:/home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --current-package dolmen_model --enable-missing-root-warning --warnings-tags dolmen_model
odoc_driver_voodoo: [DEBUG] 109 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Value.odoc -o /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Value.odocl -P dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc -L dolmen:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -L dolmen.intf:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -L dolmen.std:/home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -L dolmen_loop:/home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -L dolmen_model:/home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -L farith:/home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -L ppx_deriving.runtime:/home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ -L stdlib:/home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -L zarith:/home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/p/ocaml-compiler/5.5.0/doc/stdlib/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.intf/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen.std/ -I /home/opam/odoc-out/u/070d950620cbbf96cd61e7395790da33/dolmen/0.8/doc/dolmen/ -I /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -I /home/opam/odoc-out/u/3bda4a2b4c48eca430b9b10bf5cec690/farith/0.1/doc/farith/ -I /home/opam/odoc-out/u/47f6ef94e019406fb4baf23f4faabf24/zarith/1.14/doc/zarith/ -I /home/opam/odoc-out/u/6af728d8b481b7393a8de5cb8e2d57ba/dolmen_loop/0.8/doc/dolmen_loop/ -I /home/opam/odoc-out/u/f056dc3e0df9f25212bb7a4cae5d21f3/ppx_deriving/6.1.1/doc/ppx_deriving.runtime/ --current-package dolmen_model --enable-missing-root-warning --warnings-tags dolmen_model
odoc_driver_voodoo: [DEBUG] 110 - Executing: /home/opam/doc-tools/bin/odoc count-occurrences /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model -o /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 111 - Executing: sherlodoc js /home/opam/html/sherlodoc.js
odoc_driver_voodoo: [DEBUG] 112 - Executing: /home/opam/doc-tools/bin/odoc compile-index -o _index/dolmen_model/index.odoc-index --root /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc --occurrences /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 113 - Executing: /home/opam/doc-tools/bin/odoc sidebar-generate -o _index/dolmen_model/sidebar.odoc-sidebar _index/dolmen_model/index.odoc-index
odoc_driver_voodoo: [DEBUG] 114 - Executing: /home/opam/doc-tools/bin/odoc sidebar-generate --json -o /home/opam/html/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sidebar.json _index/dolmen_model/index.odoc-index
odoc_driver_voodoo: [DEBUG] 115 - Executing: /home/opam/doc-tools/bin/odoc compile-index --json --simplified-json --wrap-json -o /home/opam/html/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/index.js --root /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc --occurrences /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 116 - Executing: sherlodoc index --format js _index/dolmen_model/index.odoc-index -o /home/opam/html/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js
odoc_driver_voodoo: [DEBUG] 117 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/page-index.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 118 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/src/page-index.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 119 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/page-index.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 120 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/dolmen_model.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 121 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model.ml --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 122 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Adt.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/adt.ml --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 123 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Array.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/array.ml --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 124 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Bitv.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/bitv.ml --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 125 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Bool.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/bool.ml --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 126 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Coercion.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/coercion.ml --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 127 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Core.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/core.ml --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 128 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Env.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/env.ml --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 129 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Eval.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/eval.ml --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 130 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Fp.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/fp.ml --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 131 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Fun.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/fun.ml --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 132 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Int.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/int.ml --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 133 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Loop.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/loop.ml --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 134 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Model.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/model.ml --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 135 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Rat.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/rat.ml --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 136 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Real.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/real.ml --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 137 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Value.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/value.ml --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 138 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/page-index.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 139 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/dolmen_model.ml --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 140 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/page-index.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 141 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/src/page-index.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 142 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Adt.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/adt.ml --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 143 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Bitv.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/bitv.ml --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 144 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Array.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/array.ml --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 145 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Coercion.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/coercion.ml --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 146 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Bool.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/bool.ml --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 147 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/dolmen_model.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 148 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Core.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/core.ml --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 149 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Env.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/env.ml --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 150 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Eval.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/eval.ml --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 151 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Int.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/int.ml --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 152 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Fp.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/fp.ml --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 153 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Rat.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/rat.ml --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 154 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Real.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/real.ml --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 155 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Fun.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/fun.ml --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 156 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Model.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/model.ml --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 157 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Loop.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/loop.ml --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 158 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/dolmen_model/impl-dolmen_model__Value.odocl --sidebar _index/dolmen_model/sidebar.odoc-sidebar prep/universes/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/lib/dolmen_model/value.ml --search-uri u/20afc6e0faee686a9d4eb3c23e243882/dolmen_model/0.8/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 159 - Executing: /home/opam/doc-tools/bin/odoc support-files -o /home/opam/html

=== STDERR ===

2026-06-19 22:35.27: OK: doc dolmen_model.0.8 (runc: 6.7s, disk: 2890KB)
2026-06-19 22:35.27: Job succeeded