2026-06-23 10:55.29: New job: doc dolmen_loop.0.8.1 (80a31b769310)
2026-06-23 10:55.29: Waiting for resource in pool day11-builds
2026-06-23 11:12.49: Got resource from pool day11-builds
2026-06-23 11:12.49: [profile full] doc dolmen_loop.0.8.1
2026-06-23 11:12.49: doc dolmen_loop.0.8.1 (80a31b769310)
=== DEPENDENCIES (0 transitive) ===

=== STDOUT ===
=== DEBUG: pre-voodoo image inventory ===
-- pkg markers (.odoc_pkg_marker) --
/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/28f7ab450e7ba8aac27ede1c020f2d62/menhir/20250912/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/575626fa5819ca1c7db84d30d1de44b9/cmdliner/1.3.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/575626fa5819ca1c7db84d30d1de44b9/dune/3.10.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/575626fa5819ca1c7db84d30d1de44b9/ocamlbuild/0.16.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/575626fa5819ca1c7db84d30d1de44b9/ocamlfind/1.9.8/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/575626fa5819ca1c7db84d30d1de44b9/seq/base/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/menhirCST/20250912/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/menhirLib/20250912/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/menhirSdk/20250912/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/stdlib-shims/0.3.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/86c3d390c49c23270f6095e8cf022ea9/spelll/0.4/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/uutf/1.0.4/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/f6f50c0df06de7e28d0cfb9f3ed822c6/topkg/1.1.1/doc/.odoc_pkg_marker
-- lib markers (.odoc_lib_marker) --
/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/compiler-libs.bytecomp/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/compiler-libs.common/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/compiler-libs.optcomp/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/compiler-libs.toplevel/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/dynlink/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/odoc_info/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/runtime_events/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/str/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/threads/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/.odoc_lib_marker
/home/opam/odoc-out/u/575626fa5819ca1c7db84d30d1de44b9/cmdliner/1.3.0/doc/cmdliner/.odoc_lib_marker
/home/opam/odoc-out/u/575626fa5819ca1c7db84d30d1de44b9/ocamlbuild/0.16.1/doc/ocamlbuild/.odoc_lib_marker
/home/opam/odoc-out/u/575626fa5819ca1c7db84d30d1de44b9/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
/home/opam/odoc-out/u/575626fa5819ca1c7db84d30d1de44b9/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
/home/opam/odoc-out/u/575626fa5819ca1c7db84d30d1de44b9/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
/home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/.odoc_lib_marker
/home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/menhirCST/20250912/doc/menhirCST/.odoc_lib_marker
/home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/menhirLib/20250912/doc/menhirLib/.odoc_lib_marker
/home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/menhirSdk/20250912/doc/menhirSdk/.odoc_lib_marker
/home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/.odoc_lib_marker
/home/opam/odoc-out/u/86c3d390c49c23270f6095e8cf022ea9/spelll/0.4/doc/spelll/.odoc_lib_marker
/home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt.cli/.odoc_lib_marker
/home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt.tty/.odoc_lib_marker
/home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/.odoc_lib_marker
/home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/uutf/1.0.4/doc/uutf/.odoc_lib_marker
/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.ae/.odoc_lib_marker
/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/.odoc_lib_marker
/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.dimacs/.odoc_lib_marker
/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.icnf/.odoc_lib_marker
/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/.odoc_lib_marker
/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.line/.odoc_lib_marker
/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/.odoc_lib_marker
/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/.odoc_lib_marker
/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/.odoc_lib_marker
/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.zf/.odoc_lib_marker
/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/.odoc_lib_marker
/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen_smtlib2_poly/.odoc_lib_marker
/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen_smtlib2_v6/.odoc_lib_marker
/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen_smtlib2_v6_response/.odoc_lib_marker
/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen_smtlib2_v6_script/.odoc_lib_marker
/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen_tptp_v6_3_0/.odoc_lib_marker
/home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/.odoc_lib_marker
/home/opam/odoc-out/u/f6f50c0df06de7e28d0cfb9f3ed822c6/topkg/1.1.1/doc/topkg/.odoc_lib_marker
-- prep universes (universe/pkg/version) --
/home/opam/prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/
=== END DEBUG ===
process_meta_file: prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/META
odoc_driver_voodoo: [DEBUG] all_lib_deps: dolmen_loop, [12]

odoc_driver_voodoo: [DEBUG] No config file found: prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/odoc-config.sexp
prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/odoc-config.sexp: No such file or directory

odoc_driver_voodoo: [DEBUG] Config.packages: 

process_meta_file: prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/META
odoc_driver_voodoo: [DEBUG] prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop,dolmen_loop

odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/

odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/ for package dolmen_loop
odoc_driver_voodoo: [DEBUG] 0 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/
odoc_driver_voodoo: [DEBUG] Got 1 lines
odoc_driver_voodoo: [DEBUG] Checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop.cmti (then prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/Dolmen_loop.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop.cmt (then prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/Dolmen_loop.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Alarm.cmti (then prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/Dolmen_loop__Alarm.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Alarm.cmt (then prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/Dolmen_loop__Alarm.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Code.cmti (then prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/Dolmen_loop__Code.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Code.cmt (then prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/Dolmen_loop__Code.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Expr_intf.cmti (then prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/Dolmen_loop__Expr_intf.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Expr_intf.cmt (then prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/Dolmen_loop__Expr_intf.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Headers.cmti (then prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/Dolmen_loop__Headers.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Headers.cmt (then prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/Dolmen_loop__Headers.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Headers_intf.cmti (then prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/Dolmen_loop__Headers_intf.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Headers_intf.cmt (then prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/Dolmen_loop__Headers_intf.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Logic.cmti (then prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/Dolmen_loop__Logic.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Logic.cmt (then prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/Dolmen_loop__Logic.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Parser.cmti (then prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/Dolmen_loop__Parser.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Parser.cmt (then prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/Dolmen_loop__Parser.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Parser_intf.cmti (then prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/Dolmen_loop__Parser_intf.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Parser_intf.cmt (then prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/Dolmen_loop__Parser_intf.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Pipeline.cmti (then prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/Dolmen_loop__Pipeline.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Pipeline.cmt (then prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/Dolmen_loop__Pipeline.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Report.cmti (then prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/Dolmen_loop__Report.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Report.cmt (then prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/Dolmen_loop__Report.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Response.cmti (then prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/Dolmen_loop__Response.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Response.cmt (then prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/Dolmen_loop__Response.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__State.cmti (then prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/Dolmen_loop__State.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__State.cmt (then prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/Dolmen_loop__State.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Typer.cmti (then prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/Dolmen_loop__Typer.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Typer.cmt (then prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/Dolmen_loop__Typer.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Typer_intf.cmti (then prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/Dolmen_loop__Typer_intf.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Typer_intf.cmt (then prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/Dolmen_loop__Typer_intf.cmt)
odoc_driver_voodoo: [DEBUG] 1 - Executing: ocamlobjinfo prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop.cmt
odoc_driver_voodoo: [DEBUG] 2 - Executing: ocamlobjinfo prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Alarm.cmt
odoc_driver_voodoo: [DEBUG] 3 - Executing: ocamlobjinfo prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Code.cmt
odoc_driver_voodoo: [DEBUG] 4 - Executing: ocamlobjinfo prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Expr_intf.cmt
odoc_driver_voodoo: [DEBUG] 5 - Executing: ocamlobjinfo prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Headers.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop.ml-gen
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop.ml for Dolmen_loop
odoc_driver_voodoo: [DEBUG] 6 - Executing: ocamlobjinfo prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Headers_intf.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/alarm.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/alarm.ml for Dolmen_loop__Alarm
odoc_driver_voodoo: [DEBUG] 7 - Executing: ocamlobjinfo prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Logic.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/headers_intf.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/headers_intf.ml for Dolmen_loop__Headers_intf
odoc_driver_voodoo: [DEBUG] 8 - Executing: ocamlobjinfo prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Parser.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/headers.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/headers.ml for Dolmen_loop__Headers
odoc_driver_voodoo: [DEBUG] 9 - Executing: ocamlobjinfo prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Parser_intf.cmt
odoc_driver_voodoo: [DEBUG] 10 - Executing: ocamlobjinfo prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Pipeline.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/code.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/code.ml for Dolmen_loop__Code
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/expr_intf.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/expr_intf.ml for Dolmen_loop__Expr_intf
odoc_driver_voodoo: [DEBUG] 11 - Executing: ocamlobjinfo prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Report.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/parser.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/parser.ml for Dolmen_loop__Parser
odoc_driver_voodoo: [DEBUG] 12 - Executing: ocamlobjinfo prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Response.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/logic.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/logic.ml for Dolmen_loop__Logic
odoc_driver_voodoo: [DEBUG] 13 - Executing: ocamlobjinfo prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__State.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/pipeline.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/pipeline.ml for Dolmen_loop__Pipeline
odoc_driver_voodoo: [DEBUG] 14 - Executing: ocamlobjinfo prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Typer.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/parser_intf.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/parser_intf.ml for Dolmen_loop__Parser_intf
odoc_driver_voodoo: [DEBUG] 15 - Executing: ocamlobjinfo prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Typer_intf.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/report.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/report.ml for Dolmen_loop__Report
odoc_driver_voodoo: [DEBUG] 16 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/response.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/response.ml for Dolmen_loop__Response
odoc_driver_voodoo: [DEBUG] 17 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Alarm.cmt
odoc_driver_voodoo: [DEBUG] 18 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Headers_intf.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/state.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/state.ml for Dolmen_loop__State
odoc_driver_voodoo: [DEBUG] 19 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Headers.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/typer_intf.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/typer_intf.ml for Dolmen_loop__Typer_intf
odoc_driver_voodoo: [DEBUG] 20 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Code.cmt
odoc_driver_voodoo: [DEBUG] 21 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Expr_intf.cmt
odoc_driver_voodoo: [DEBUG] 22 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Parser.cmt
odoc_driver_voodoo: [DEBUG] 23 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Logic.cmt
odoc_driver_voodoo: [DEBUG] 24 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Pipeline.cmt
odoc_driver_voodoo: [DEBUG] 25 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Parser_intf.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/typer.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/typer.ml for Dolmen_loop__Typer
odoc_driver_voodoo: [DEBUG] 26 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Report.cmt
odoc_driver_voodoo: [DEBUG] 27 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Response.cmt
odoc_driver_voodoo: [DEBUG] 28 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop.cmt
odoc_driver_voodoo: [DEBUG] 29 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__State.cmt
odoc_driver_voodoo: [DEBUG] 30 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Typer_intf.cmt
odoc_driver_voodoo: [DEBUG] 31 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Headers.cmti
odoc_driver_voodoo: [DEBUG] 32 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Alarm.cmti
odoc_driver_voodoo: [DEBUG] 33 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Headers_intf.cmt
odoc_driver_voodoo: [DEBUG] 34 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Code.cmti
odoc_driver_voodoo: [DEBUG] 35 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Parser.cmti
odoc_driver_voodoo: [DEBUG] 36 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Typer.cmt
odoc_driver_voodoo: [DEBUG] 37 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Logic.cmti
odoc_driver_voodoo: [DEBUG] 38 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Expr_intf.cmt
odoc_driver_voodoo: [DEBUG] 39 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Report.cmti
odoc_driver_voodoo: [DEBUG] 40 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Response.cmt
odoc_driver_voodoo: [DEBUG] 41 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Pipeline.cmti
odoc_driver_voodoo: [DEBUG] 42 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Parser_intf.cmt
odoc_driver_voodoo: [DEBUG] 43 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__State.cmt
odoc_driver_voodoo: [DEBUG] 44 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Typer_intf.cmt
odoc_driver_voodoo: [DEBUG] 45 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Typer.cmti
odoc_driver_voodoo: [DEBUG] libdirs_without_meta: 

odoc_driver_voodoo: [DEBUG] lib dirs: prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/

odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.0.0/doc/unix/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.0.0/doc/stdlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.0.0/doc/dynlink/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.0.0/doc/compiler-libs.toplevel/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.0.0/doc/odoc_info/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.0.0/doc/compiler-libs.common/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.0.0/doc/compiler-libs.bytecomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.0.0/doc/compiler-libs.optcomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.0.0/doc/str/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.0.0/doc/runtime_events/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.0.0/doc/threads/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/ocaml-base-compiler/5.0.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/85f04bb29dcf9182d9f368b325f0d40a/menhirSdk/20250912/doc/menhirSdk/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/85f04bb29dcf9182d9f368b325f0d40a/menhirSdk/20250912/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/85f04bb29dcf9182d9f368b325f0d40a/menhirLib/20250912/doc/menhirLib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/85f04bb29dcf9182d9f368b325f0d40a/menhirLib/20250912/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/85f04bb29dcf9182d9f368b325f0d40a/stdlib-shims/0.3.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/85f04bb29dcf9182d9f368b325f0d40a/menhirCST/20250912/doc/menhirCST/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/85f04bb29dcf9182d9f368b325f0d40a/menhirCST/20250912/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen_smtlib2_v6/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.dimacs/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.zf/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.line/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.ae/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen_smtlib2_poly/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen_tptp_v6_3_0/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen_smtlib2_v6_response/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.icnf/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen_smtlib2_v6_script/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/575626fa5819ca1c7db84d30d1de44b9/cmdliner/1.3.0/doc/cmdliner/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/575626fa5819ca1c7db84d30d1de44b9/cmdliner/1.3.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/575626fa5819ca1c7db84d30d1de44b9/seq/base/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/575626fa5819ca1c7db84d30d1de44b9/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/575626fa5819ca1c7db84d30d1de44b9/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/575626fa5819ca1c7db84d30d1de44b9/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/575626fa5819ca1c7db84d30d1de44b9/ocamlfind/1.9.8/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/575626fa5819ca1c7db84d30d1de44b9/ocamlbuild/0.16.1/doc/ocamlbuild/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/575626fa5819ca1c7db84d30d1de44b9/ocamlbuild/0.16.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/575626fa5819ca1c7db84d30d1de44b9/dune/3.10.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt.tty/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt.cli/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/95ee82413ac4e0b8a3a2aaa30b5b410d/uutf/1.0.4/doc/uutf/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/95ee82413ac4e0b8a3a2aaa30b5b410d/uutf/1.0.4/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/f6f50c0df06de7e28d0cfb9f3ed822c6/topkg/1.1.1/doc/topkg/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/f6f50c0df06de7e28d0cfb9f3ed822c6/topkg/1.1.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/86c3d390c49c23270f6095e8cf022ea9/spelll/0.4/doc/spelll/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/86c3d390c49c23270f6095e8cf022ea9/spelll/0.4/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/28f7ab450e7ba8aac27ede1c020f2d62/menhir/20250912/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Fixing virtual libraries: 492 precompiled units, 15 other units
odoc_driver_voodoo: [DEBUG] 46 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc
odoc_driver_voodoo: [DEBUG] 47 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/src/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/src
odoc_driver_voodoo: [DEBUG] 48 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop
odoc_driver_voodoo: [DEBUG] 49 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --enable-missing-root-warning --parent-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop --warnings-tag dolmen_loop
odoc_driver_voodoo: [DEBUG] 50 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --enable-missing-root-warning --parent-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop --source-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/src/dolmen_loop/dolmen_loop.ml
odoc_driver_voodoo: [DEBUG] 51 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Alarm.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --enable-missing-root-warning --parent-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop --source-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/src/dolmen_loop/alarm.ml
odoc_driver_voodoo: [DEBUG] 52 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Code.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --enable-missing-root-warning --parent-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop --source-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/src/dolmen_loop/code.ml
odoc_driver_voodoo: [DEBUG] 53 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Expr_intf.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --enable-missing-root-warning --parent-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop --source-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/src/dolmen_loop/expr_intf.ml
odoc_driver_voodoo: [DEBUG] 54 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Headers.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --enable-missing-root-warning --parent-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop --source-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/src/dolmen_loop/headers.ml
odoc_driver_voodoo: [DEBUG] 55 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Headers_intf.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --enable-missing-root-warning --parent-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop --source-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/src/dolmen_loop/headers_intf.ml
odoc_driver_voodoo: [DEBUG] 56 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Logic.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --enable-missing-root-warning --parent-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop --source-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/src/dolmen_loop/logic.ml
odoc_driver_voodoo: [DEBUG] 57 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Parser.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --enable-missing-root-warning --parent-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop --source-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/src/dolmen_loop/parser.ml
odoc_driver_voodoo: [DEBUG] 58 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Parser_intf.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --enable-missing-root-warning --parent-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop --source-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/src/dolmen_loop/parser_intf.ml
odoc_driver_voodoo: [DEBUG] 59 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Pipeline.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --enable-missing-root-warning --parent-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop --source-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/src/dolmen_loop/pipeline.ml
odoc_driver_voodoo: [DEBUG] 60 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Report.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --enable-missing-root-warning --parent-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop --source-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/src/dolmen_loop/report.ml
odoc_driver_voodoo: [DEBUG] 61 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Response.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --enable-missing-root-warning --parent-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop --source-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/src/dolmen_loop/response.ml
odoc_driver_voodoo: [DEBUG] 62 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__State.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --enable-missing-root-warning --parent-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop --source-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/src/dolmen_loop/state.ml
odoc_driver_voodoo: [DEBUG] 63 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Typer.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --enable-missing-root-warning --parent-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop --source-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/src/dolmen_loop/typer.ml
odoc_driver_voodoo: [DEBUG] 64 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Typer_intf.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --enable-missing-root-warning --parent-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop --source-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/src/dolmen_loop/typer_intf.ml
odoc_driver_voodoo: [DEBUG] 65 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Alarm.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --enable-missing-root-warning --parent-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop --warnings-tag dolmen_loop
odoc_driver_voodoo: [DEBUG] 66 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Code.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --enable-missing-root-warning --parent-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop --warnings-tag dolmen_loop
odoc_driver_voodoo: [DEBUG] 67 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Expr_intf.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --enable-missing-root-warning --parent-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop --warnings-tag dolmen_loop
odoc_driver_voodoo: [DEBUG] 68 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Response.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --enable-missing-root-warning --parent-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop --warnings-tag dolmen_loop
odoc_driver_voodoo: [DEBUG] 69 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Logic.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --enable-missing-root-warning --parent-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop --warnings-tag dolmen_loop
odoc_driver_voodoo: [DEBUG] 70 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Headers_intf.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --enable-missing-root-warning --parent-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop --warnings-tag dolmen_loop
odoc_driver_voodoo: [DEBUG] 71 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Report.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --enable-missing-root-warning --parent-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop --warnings-tag dolmen_loop
odoc_driver_voodoo: [DEBUG] 72 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__State.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --enable-missing-root-warning --parent-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop --warnings-tag dolmen_loop
odoc_driver_voodoo: [DEBUG] 73 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Headers.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --enable-missing-root-warning --parent-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop --warnings-tag dolmen_loop
odoc_driver_voodoo: [DEBUG] 74 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Parser_intf.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --enable-missing-root-warning --parent-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop --warnings-tag dolmen_loop
odoc_driver_voodoo: [DEBUG] 75 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Pipeline.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --enable-missing-root-warning --parent-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop --warnings-tag dolmen_loop
odoc_driver_voodoo: [DEBUG] 76 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Typer_intf.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --enable-missing-root-warning --parent-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop --warnings-tag dolmen_loop
odoc_driver_voodoo: [DEBUG] 77 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Parser.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --enable-missing-root-warning --parent-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop --warnings-tag dolmen_loop
odoc_driver_voodoo: [DEBUG] 78 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop__Typer.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --enable-missing-root-warning --parent-id u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop --warnings-tag dolmen_loop
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/src/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/dolmen_loop.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/dolmen_loop__Alarm.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Alarm.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/dolmen_loop__Code.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Code.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/dolmen_loop__Expr_intf.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Expr_intf.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/dolmen_loop__Headers.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Headers.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/dolmen_loop__Headers_intf.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Headers_intf.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/dolmen_loop__Logic.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Logic.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/dolmen_loop__Parser.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Parser.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/dolmen_loop__Parser_intf.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Parser_intf.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/dolmen_loop__Pipeline.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Pipeline.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/dolmen_loop__Report.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Report.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/dolmen_loop__Response.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Response.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/dolmen_loop__State.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__State.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/dolmen_loop__Typer.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Typer.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/dolmen_loop__Typer_intf.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Typer_intf.odoc
odoc_driver_voodoo: [DEBUG] 79 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/page-index.odoc -o /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/page-index.odocl -P dolmen_loop:/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc -L dolmen_loop:/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop --enable-missing-root-warning --warnings-tags dolmen_loop
odoc_driver_voodoo: [DEBUG] 80 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/src/page-index.odoc -o /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/src/page-index.odocl --enable-missing-root-warning --warnings-tags dolmen_loop
odoc_driver_voodoo: [DEBUG] 81 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/page-index.odoc -o /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/page-index.odocl -L dolmen_loop:/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop --enable-missing-root-warning --warnings-tags dolmen_loop
odoc_driver_voodoo: [DEBUG] 82 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/dolmen_loop.odoc -o /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/dolmen_loop.odocl -P dolmen_loop:/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc -L dolmen:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -L dolmen.class:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -L dolmen.intf:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -L dolmen.smtlib2:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -L dolmen.std:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -L dolmen.tptp:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -L dolmen_loop:/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -L dolmen_type:/home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -L fmt:/home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -L gen:/home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ -L pp_loc:/home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -L unix:/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --current-package dolmen_loop --enable-missing-root-warning --warnings-tags dolmen_loop
odoc_driver_voodoo: [DEBUG] 83 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop.odoc -o /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop.odocl -P dolmen_loop:/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc -L dolmen:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -L dolmen.class:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -L dolmen.intf:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -L dolmen.smtlib2:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -L dolmen.std:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -L dolmen.tptp:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -L dolmen_loop:/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -L dolmen_type:/home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -L fmt:/home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -L gen:/home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ -L pp_loc:/home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -L unix:/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --current-package dolmen_loop --enable-missing-root-warning --warnings-tags dolmen_loop
odoc_driver_voodoo: [DEBUG] 84 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Alarm.odoc -o /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Alarm.odocl -P dolmen_loop:/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc -L dolmen:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -L dolmen.class:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -L dolmen.intf:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -L dolmen.smtlib2:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -L dolmen.std:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -L dolmen.tptp:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -L dolmen_loop:/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -L dolmen_type:/home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -L fmt:/home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -L gen:/home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ -L pp_loc:/home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -L unix:/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --current-package dolmen_loop --enable-missing-root-warning --warnings-tags dolmen_loop
odoc_driver_voodoo: [DEBUG] 85 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Code.odoc -o /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Code.odocl -P dolmen_loop:/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc -L dolmen:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -L dolmen.class:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -L dolmen.intf:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -L dolmen.smtlib2:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -L dolmen.std:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -L dolmen.tptp:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -L dolmen_loop:/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -L dolmen_type:/home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -L fmt:/home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -L gen:/home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ -L pp_loc:/home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -L unix:/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --current-package dolmen_loop --enable-missing-root-warning --warnings-tags dolmen_loop
odoc_driver_voodoo: [DEBUG] 86 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Expr_intf.odoc -o /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Expr_intf.odocl -P dolmen_loop:/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc -L dolmen:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -L dolmen.class:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -L dolmen.intf:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -L dolmen.smtlib2:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -L dolmen.std:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -L dolmen.tptp:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -L dolmen_loop:/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -L dolmen_type:/home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -L fmt:/home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -L gen:/home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ -L pp_loc:/home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -L unix:/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --current-package dolmen_loop --enable-missing-root-warning --warnings-tags dolmen_loop
odoc_driver_voodoo: [DEBUG] 87 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Headers.odoc -o /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Headers.odocl -P dolmen_loop:/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc -L dolmen:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -L dolmen.class:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -L dolmen.intf:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -L dolmen.smtlib2:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -L dolmen.std:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -L dolmen.tptp:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -L dolmen_loop:/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -L dolmen_type:/home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -L fmt:/home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -L gen:/home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ -L pp_loc:/home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -L unix:/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --current-package dolmen_loop --enable-missing-root-warning --warnings-tags dolmen_loop
odoc_driver_voodoo: [DEBUG] 88 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Headers_intf.odoc -o /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Headers_intf.odocl -P dolmen_loop:/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc -L dolmen:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -L dolmen.class:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -L dolmen.intf:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -L dolmen.smtlib2:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -L dolmen.std:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -L dolmen.tptp:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -L dolmen_loop:/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -L dolmen_type:/home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -L fmt:/home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -L gen:/home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ -L pp_loc:/home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -L unix:/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --current-package dolmen_loop --enable-missing-root-warning --warnings-tags dolmen_loop
odoc_driver_voodoo: [DEBUG] 89 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Logic.odoc -o /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Logic.odocl -P dolmen_loop:/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc -L dolmen:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -L dolmen.class:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -L dolmen.intf:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -L dolmen.smtlib2:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -L dolmen.std:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -L dolmen.tptp:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -L dolmen_loop:/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -L dolmen_type:/home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -L fmt:/home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -L gen:/home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ -L pp_loc:/home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -L unix:/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --current-package dolmen_loop --enable-missing-root-warning --warnings-tags dolmen_loop
odoc_driver_voodoo: [DEBUG] 90 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Parser.odoc -o /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Parser.odocl -P dolmen_loop:/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc -L dolmen:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -L dolmen.class:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -L dolmen.intf:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -L dolmen.smtlib2:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -L dolmen.std:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -L dolmen.tptp:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -L dolmen_loop:/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -L dolmen_type:/home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -L fmt:/home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -L gen:/home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ -L pp_loc:/home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -L unix:/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --current-package dolmen_loop --enable-missing-root-warning --warnings-tags dolmen_loop
odoc_driver_voodoo: [DEBUG] 91 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Parser_intf.odoc -o /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Parser_intf.odocl -P dolmen_loop:/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc -L dolmen:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -L dolmen.class:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -L dolmen.intf:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -L dolmen.smtlib2:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -L dolmen.std:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -L dolmen.tptp:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -L dolmen_loop:/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -L dolmen_type:/home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -L fmt:/home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -L gen:/home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ -L pp_loc:/home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -L unix:/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --current-package dolmen_loop --enable-missing-root-warning --warnings-tags dolmen_loop
odoc_driver_voodoo: [DEBUG] 92 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Pipeline.odoc -o /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Pipeline.odocl -P dolmen_loop:/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc -L dolmen:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -L dolmen.class:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -L dolmen.intf:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -L dolmen.smtlib2:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -L dolmen.std:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -L dolmen.tptp:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -L dolmen_loop:/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -L dolmen_type:/home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -L fmt:/home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -L gen:/home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ -L pp_loc:/home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -L unix:/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --current-package dolmen_loop --enable-missing-root-warning --warnings-tags dolmen_loop
odoc_driver_voodoo: [DEBUG] 93 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Report.odoc -o /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Report.odocl -P dolmen_loop:/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc -L dolmen:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -L dolmen.class:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -L dolmen.intf:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -L dolmen.smtlib2:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -L dolmen.std:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -L dolmen.tptp:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -L dolmen_loop:/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -L dolmen_type:/home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -L fmt:/home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -L gen:/home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ -L pp_loc:/home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -L unix:/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --current-package dolmen_loop --enable-missing-root-warning --warnings-tags dolmen_loop
odoc_driver_voodoo: [DEBUG] 94 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Response.odoc -o /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Response.odocl -P dolmen_loop:/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc -L dolmen:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -L dolmen.class:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -L dolmen.intf:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -L dolmen.smtlib2:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -L dolmen.std:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -L dolmen.tptp:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -L dolmen_loop:/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -L dolmen_type:/home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -L fmt:/home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -L gen:/home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ -L pp_loc:/home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -L unix:/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --current-package dolmen_loop --enable-missing-root-warning --warnings-tags dolmen_loop
odoc_driver_voodoo: [DEBUG] 95 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__State.odoc -o /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__State.odocl -P dolmen_loop:/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc -L dolmen:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -L dolmen.class:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -L dolmen.intf:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -L dolmen.smtlib2:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -L dolmen.std:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -L dolmen.tptp:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -L dolmen_loop:/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -L dolmen_type:/home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -L fmt:/home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -L gen:/home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ -L pp_loc:/home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -L unix:/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --current-package dolmen_loop --enable-missing-root-warning --warnings-tags dolmen_loop
odoc_driver_voodoo: [DEBUG] 96 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Typer.odoc -o /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Typer.odocl -P dolmen_loop:/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc -L dolmen:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -L dolmen.class:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -L dolmen.intf:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -L dolmen.smtlib2:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -L dolmen.std:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -L dolmen.tptp:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -L dolmen_loop:/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -L dolmen_type:/home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -L fmt:/home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -L gen:/home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ -L pp_loc:/home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -L unix:/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --current-package dolmen_loop --enable-missing-root-warning --warnings-tags dolmen_loop
odoc_driver_voodoo: [DEBUG] 97 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Typer_intf.odoc -o /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Typer_intf.odocl -P dolmen_loop:/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc -L dolmen:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -L dolmen.class:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -L dolmen.intf:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -L dolmen.smtlib2:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -L dolmen.std:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -L dolmen.tptp:/home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -L dolmen_loop:/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -L dolmen_type:/home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -L fmt:/home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -L gen:/home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ -L pp_loc:/home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -L unix:/home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.0.0/doc/unix/ -I /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -I /home/opam/odoc-out/u/8402adbda2d2941a18c20dcec02b890a/dolmen_type/0.8.1/doc/dolmen_type/ -I /home/opam/odoc-out/u/85f04bb29dcf9182d9f368b325f0d40a/pp_loc/2.1.0/doc/pp_loc/ -I /home/opam/odoc-out/u/95ee82413ac4e0b8a3a2aaa30b5b410d/fmt/0.11.0/doc/fmt/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.class/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.intf/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.smtlib2/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.std/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen.tptp/ -I /home/opam/odoc-out/u/a1ad44b2abb8d41f232c5c1d02b41b2d/dolmen/0.8.1/doc/dolmen/ -I /home/opam/odoc-out/u/b7e8c3ba2da909cc0569f1d3ea4181b3/gen/1.1/doc/gen/ --current-package dolmen_loop --enable-missing-root-warning --warnings-tags dolmen_loop
odoc_driver_voodoo: [DEBUG] 98 - Executing: /home/opam/doc-tools/bin/odoc count-occurrences /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop -o /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 99 - Executing: sherlodoc js /home/opam/html/sherlodoc.js
odoc_driver_voodoo: [DEBUG] 100 - Executing: /home/opam/doc-tools/bin/odoc compile-index -o _index/dolmen_loop/index.odoc-index --root /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc --occurrences /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 101 - Executing: /home/opam/doc-tools/bin/odoc sidebar-generate -o _index/dolmen_loop/sidebar.odoc-sidebar _index/dolmen_loop/index.odoc-index
odoc_driver_voodoo: [DEBUG] 102 - Executing: /home/opam/doc-tools/bin/odoc sidebar-generate --json -o /home/opam/html/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/sidebar.json _index/dolmen_loop/index.odoc-index
odoc_driver_voodoo: [DEBUG] 103 - Executing: /home/opam/doc-tools/bin/odoc compile-index --json --simplified-json --wrap-json -o /home/opam/html/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/index.js --root /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc --occurrences /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 104 - Executing: sherlodoc index --format js _index/dolmen_loop/index.odoc-index -o /home/opam/html/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/sherlodoc_db.js
odoc_driver_voodoo: [DEBUG] 105 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/page-index.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 106 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/src/page-index.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 107 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/page-index.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 108 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/dolmen_loop.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 109 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop.ml --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 110 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Alarm.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/alarm.ml --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 111 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Code.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/code.ml --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 112 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Expr_intf.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/expr_intf.ml --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 113 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Headers.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/headers.ml --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 114 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Headers_intf.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/headers_intf.ml --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 115 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Logic.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/logic.ml --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 116 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Parser.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/parser.ml --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 117 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Parser_intf.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/parser_intf.ml --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/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-source --impl /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Pipeline.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/pipeline.ml --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/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-source --impl /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Report.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/report.ml --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/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-source --impl /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Response.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/response.ml --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/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/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__State.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/state.ml --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/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/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Typer.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/typer.ml --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/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/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Typer_intf.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/typer_intf.ml --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/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 /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/page-index.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 125 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/page-index.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 126 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/src/page-index.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 127 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/dolmen_loop.ml --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 128 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Code.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/code.ml --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 129 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Alarm.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/alarm.ml --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 130 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Expr_intf.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/expr_intf.ml --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 131 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Headers_intf.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/headers_intf.ml --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 132 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Logic.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/logic.ml --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 133 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Headers.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/headers.ml --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 134 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Parser_intf.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/parser_intf.ml --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 135 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Parser.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/parser.ml --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 136 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Report.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/report.ml --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 137 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Pipeline.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/pipeline.ml --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 138 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Response.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/response.ml --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/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/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Typer_intf.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/typer_intf.ml --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/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-source --impl /home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__State.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/state.ml --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/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/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/dolmen_loop.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/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/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/impl-dolmen_loop__Typer.odocl --sidebar _index/dolmen_loop/sidebar.odoc-sidebar prep/universes/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/lib/dolmen_loop/typer.ml --search-uri u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/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 support-files -o /home/opam/html
/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/dolmen_loop.odoc: File "/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/dolmen_loop.odoc":
/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/dolmen_loop.odoc: Warning: Hidden constructors in type 'Dolmen_loop.State.M.value'
/home/opam/odoc-out/u/19cd80a9ee398019df30c9b0d8631f96/dolmen_loop/0.8.1/doc/dolmen_loop/dolmen_loop.odoc: 

=== STDERR ===

2026-06-23 11:13.00: OK: doc dolmen_loop.0.8.1 (runc: 6.6s, disk: 4034KB)
2026-06-23 11:13.00: Job succeeded