2026-06-23 09:50.07: New job: doc smtml.0.1.2 (23cfee1caa6a)
2026-06-23 09:50.07: Waiting for resource in pool day11-builds
2026-06-23 10:11.04: Got resource from pool day11-builds
2026-06-23 10:11.04: [profile full] doc smtml.0.1.2
2026-06-23 10:11.04: doc smtml.0.1.2 (23cfee1caa6a)
=== DEPENDENCIES (0 transitive) ===

=== STDOUT ===
=== DEBUG: pre-voodoo image inventory ===
-- pkg markers (.odoc_pkg_marker) --
/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/00f22820474c56fbdf64b3e88408a266/dune-configurator/3.23.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/csexp/1.5.2/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/menhirCST/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/menhirGLR/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/menhirLib/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/menhirSdk/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/ocaml_intrinsics_kernel/v0.17.2/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/36687a97632b09a5da119e0ca08244f8/menhir/20260209/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/950bc2b2e7c55403ce8203392b47583f/zarith/1.14/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/c1900c8d136a7a7d46563c303c68a4b8/cmdliner/1.3.0/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/c1900c8d136a7a7d46563c303c68a4b8/dune/3.23.1/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/c1900c8d136a7a7d46563c303c68a4b8/ocamlfind/1.9.8/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/.odoc_pkg_marker
-- lib markers (.odoc_lib_marker) --
/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/compiler-libs.bytecomp/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/compiler-libs.common/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/compiler-libs.optcomp/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/compiler-libs.toplevel/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/dynlink/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/odoc_info/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/runtime_events/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/str/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/threads/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/unix/.odoc_lib_marker
/home/opam/odoc-out/u/00f22820474c56fbdf64b3e88408a266/dune-configurator/3.23.1/doc/dune-configurator/.odoc_lib_marker
/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/csexp/1.5.2/doc/csexp/.odoc_lib_marker
/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/.odoc_lib_marker
/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/menhirCST/20260209/doc/menhirCST/.odoc_lib_marker
/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/menhirGLR/20260209/doc/menhirGLR/.odoc_lib_marker
/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/menhirLib/20260209/doc/menhirLib/.odoc_lib_marker
/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/menhirSdk/20260209/doc/menhirSdk/.odoc_lib_marker
/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/ocaml_intrinsics_kernel/v0.17.2/doc/ocaml_intrinsics_kernel/.odoc_lib_marker
/home/opam/odoc-out/u/950bc2b2e7c55403ce8203392b47583f/zarith/1.14/doc/zarith/.odoc_lib_marker
/home/opam/odoc-out/u/c1900c8d136a7a7d46563c303c68a4b8/cmdliner/1.3.0/doc/cmdliner/.odoc_lib_marker
/home/opam/odoc-out/u/c1900c8d136a7a7d46563c303c68a4b8/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
/home/opam/odoc-out/u/c1900c8d136a7a7d46563c303c68a4b8/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
/home/opam/odoc-out/u/c1900c8d136a7a7d46563c303c68a4b8/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
/home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/.odoc_lib_marker
-- prep universes (universe/pkg/version) --
/home/opam/prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/
=== END DEBUG ===
process_meta_file: prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/META
odoc_driver_voodoo: [DEBUG] all_lib_deps: smtml, [3]

odoc_driver_voodoo: [DEBUG] Found odoc page: doc/smtml/odoc-pages/index.mld
odoc_driver_voodoo: [DEBUG] Found other doc: doc/smtml/odoc-config.sexp
odoc_driver_voodoo: [DEBUG] Config file: prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/odoc-config.sexp

odoc_driver_voodoo: [DEBUG] Config.packages: odoc

process_meta_file: prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/META
odoc_driver_voodoo: [DEBUG] prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml,smtml

odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/

odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/ for package smtml
odoc_driver_voodoo: [DEBUG] 0 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/
odoc_driver_voodoo: [DEBUG] Got 1 lines
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml.cmti (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml.cmt (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Ast.cmti (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Ast.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Ast.cmt (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Ast.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Bitwuzla_mappings.cmti (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Bitwuzla_mappings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Bitwuzla_mappings.cmt (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Bitwuzla_mappings.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Cache.cmti (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Cache.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Cache.cmt (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Cache.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Cache_intf.cmti (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Cache_intf.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Cache_intf.cmt (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Cache_intf.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Colibri2_mappings.cmti (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Colibri2_mappings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Colibri2_mappings.cmt (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Colibri2_mappings.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Constructors_intf.cmti (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Constructors_intf.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Constructors_intf.cmt (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Constructors_intf.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Cvc5_mappings.cmti (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Cvc5_mappings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Cvc5_mappings.cmt (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Cvc5_mappings.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Eval.cmti (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Eval.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Eval.cmt (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Eval.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Expr.cmti (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Expr.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Expr.cmt (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Expr.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Interpret.cmti (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Interpret.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Interpret.cmt (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Interpret.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Interpret_intf.cmti (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Interpret_intf.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Interpret_intf.cmt (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Interpret_intf.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Log.cmti (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Log.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Log.cmt (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Log.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Mappings.cmti (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Mappings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Mappings.cmt (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Mappings.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Mappings_intf.cmti (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Mappings_intf.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Mappings_intf.cmt (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Mappings_intf.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Model.cmti (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Model.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Model.cmt (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Model.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Num.cmti (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Num.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Num.cmt (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Num.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Op_intf.cmti (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Op_intf.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Op_intf.cmt (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Op_intf.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Optimizer.cmti (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Optimizer.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Optimizer.cmt (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Optimizer.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Optimizer_intf.cmti (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Optimizer_intf.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Optimizer_intf.cmt (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Optimizer_intf.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Params.cmti (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Params.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Params.cmt (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Params.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Parse.cmti (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Parse.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Parse.cmt (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Parse.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Solver.cmti (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Solver.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Solver.cmt (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Solver.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Solver_dispatcher.cmti (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Solver_dispatcher.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Solver_dispatcher.cmt (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Solver_dispatcher.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Solver_intf.cmti (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Solver_intf.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Solver_intf.cmt (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Solver_intf.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Symbol.cmti (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Symbol.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Symbol.cmt (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Symbol.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Ty.cmti (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Ty.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Ty.cmt (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Ty.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Utils.cmti (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Utils.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Utils.cmt (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Utils.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Value.cmti (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Value.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Value.cmt (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Value.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Z3_mappings.cmti (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Z3_mappings.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Z3_mappings.cmt (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Z3_mappings.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Z3_mappings2.cmti (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Z3_mappings2.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Z3_mappings2.cmt (then prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/Smtml__Z3_mappings2.cmt)
odoc_driver_voodoo: [DEBUG] 1 - Executing: ocamlobjinfo prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml.cmt
odoc_driver_voodoo: [DEBUG] 2 - Executing: ocamlobjinfo prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Ast.cmt
odoc_driver_voodoo: [DEBUG] 3 - Executing: ocamlobjinfo prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Bitwuzla_mappings.cmt
odoc_driver_voodoo: [DEBUG] 4 - Executing: ocamlobjinfo prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Cache.cmt
odoc_driver_voodoo: [DEBUG] 5 - Executing: ocamlobjinfo prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Cache_intf.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml.ml-gen
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml.ml for Smtml
odoc_driver_voodoo: [DEBUG] 6 - Executing: ocamlobjinfo prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Colibri2_mappings.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/ast.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/ast.ml for Smtml__Ast
odoc_driver_voodoo: [DEBUG] 7 - Executing: ocamlobjinfo prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Constructors_intf.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/bitwuzla_mappings.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/bitwuzla_mappings.ml for Smtml__Bitwuzla_mappings
odoc_driver_voodoo: [DEBUG] 8 - Executing: ocamlobjinfo prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Cvc5_mappings.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/cache.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/cache.ml for Smtml__Cache
odoc_driver_voodoo: [DEBUG] 9 - Executing: ocamlobjinfo prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Eval.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/cache_intf.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/cache_intf.ml for Smtml__Cache_intf
odoc_driver_voodoo: [DEBUG] 10 - Executing: ocamlobjinfo prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Expr.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/colibri2_mappings.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/colibri2_mappings.ml for Smtml__Colibri2_mappings
odoc_driver_voodoo: [DEBUG] 11 - Executing: ocamlobjinfo prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Interpret.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/constructors_intf.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/constructors_intf.ml for Smtml__Constructors_intf
odoc_driver_voodoo: [DEBUG] 12 - Executing: ocamlobjinfo prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Interpret_intf.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/cvc5_mappings.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/cvc5_mappings.ml for Smtml__Cvc5_mappings
odoc_driver_voodoo: [DEBUG] 13 - Executing: ocamlobjinfo prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Log.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/interpret.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/interpret.ml for Smtml__Interpret
odoc_driver_voodoo: [DEBUG] 14 - Executing: ocamlobjinfo prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Mappings.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/eval.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/eval.ml for Smtml__Eval
odoc_driver_voodoo: [DEBUG] 15 - Executing: ocamlobjinfo prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Mappings_intf.cmt
odoc_driver_voodoo: [DEBUG] 16 - Executing: ocamlobjinfo prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Model.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/interpret_intf.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/interpret_intf.ml for Smtml__Interpret_intf
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/expr.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/expr.ml for Smtml__Expr
odoc_driver_voodoo: [DEBUG] 17 - Executing: ocamlobjinfo prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Num.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/mappings_intf.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/mappings_intf.ml for Smtml__Mappings_intf
odoc_driver_voodoo: [DEBUG] 18 - Executing: ocamlobjinfo prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Op_intf.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/model.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/model.ml for Smtml__Model
odoc_driver_voodoo: [DEBUG] 19 - Executing: ocamlobjinfo prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Optimizer.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/mappings.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/mappings.ml for Smtml__Mappings
odoc_driver_voodoo: [DEBUG] 20 - Executing: ocamlobjinfo prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Optimizer_intf.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/log.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/log.ml for Smtml__Log
odoc_driver_voodoo: [DEBUG] 21 - Executing: ocamlobjinfo prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Params.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/num.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/num.ml for Smtml__Num
odoc_driver_voodoo: [DEBUG] 22 - Executing: ocamlobjinfo prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Parse.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/op_intf.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/op_intf.ml for Smtml__Op_intf
odoc_driver_voodoo: [DEBUG] 23 - Executing: ocamlobjinfo prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Solver.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/optimizer.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/optimizer.ml for Smtml__Optimizer
odoc_driver_voodoo: [DEBUG] 24 - Executing: ocamlobjinfo prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Solver_dispatcher.cmt
odoc_driver_voodoo: [DEBUG] 25 - Executing: ocamlobjinfo prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Solver_intf.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/params.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/params.ml for Smtml__Params
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/parse.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/parse.ml for Smtml__Parse
odoc_driver_voodoo: [DEBUG] 26 - Executing: ocamlobjinfo prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Symbol.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/solver.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/solver.ml for Smtml__Solver
odoc_driver_voodoo: [DEBUG] 27 - Executing: ocamlobjinfo prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Ty.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/optimizer_intf.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/optimizer_intf.ml for Smtml__Optimizer_intf
odoc_driver_voodoo: [DEBUG] 28 - Executing: ocamlobjinfo prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Utils.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/solver_dispatcher.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/solver_dispatcher.ml for Smtml__Solver_dispatcher
odoc_driver_voodoo: [DEBUG] 29 - Executing: ocamlobjinfo prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Value.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/solver_intf.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/solver_intf.ml for Smtml__Solver_intf
odoc_driver_voodoo: [DEBUG] 30 - Executing: ocamlobjinfo prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Z3_mappings.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/symbol.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/symbol.ml for Smtml__Symbol
odoc_driver_voodoo: [DEBUG] 31 - Executing: ocamlobjinfo prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Z3_mappings2.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/utils.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/utils.ml for Smtml__Utils
odoc_driver_voodoo: [DEBUG] 32 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/value.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/value.ml for Smtml__Value
odoc_driver_voodoo: [DEBUG] 33 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Ast.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/z3_mappings.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/z3_mappings.ml for Smtml__Z3_mappings
odoc_driver_voodoo: [DEBUG] 34 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Bitwuzla_mappings.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/ty.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/ty.ml for Smtml__Ty
odoc_driver_voodoo: [DEBUG] 35 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Cache.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/z3_mappings2.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/z3_mappings2.ml for Smtml__Z3_mappings2
odoc_driver_voodoo: [DEBUG] 36 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Cache_intf.cmt
odoc_driver_voodoo: [DEBUG] 37 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Colibri2_mappings.cmt
odoc_driver_voodoo: [DEBUG] 38 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Constructors_intf.cmt
odoc_driver_voodoo: [DEBUG] 39 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Cvc5_mappings.cmt
odoc_driver_voodoo: [DEBUG] 40 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Interpret.cmt
odoc_driver_voodoo: [DEBUG] 41 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Eval.cmt
odoc_driver_voodoo: [DEBUG] 42 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Interpret_intf.cmt
odoc_driver_voodoo: [DEBUG] 43 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Expr.cmt
odoc_driver_voodoo: [DEBUG] 44 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Mappings_intf.cmt
odoc_driver_voodoo: [DEBUG] 45 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Model.cmt
odoc_driver_voodoo: [DEBUG] 46 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Mappings.cmt
odoc_driver_voodoo: [DEBUG] 47 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Log.cmt
odoc_driver_voodoo: [DEBUG] 48 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Num.cmt
odoc_driver_voodoo: [DEBUG] 49 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Op_intf.cmt
odoc_driver_voodoo: [DEBUG] 50 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Optimizer.cmt
odoc_driver_voodoo: [DEBUG] 51 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Params.cmt
odoc_driver_voodoo: [DEBUG] 52 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Parse.cmt
odoc_driver_voodoo: [DEBUG] 53 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Solver.cmt
odoc_driver_voodoo: [DEBUG] 54 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Optimizer_intf.cmt
odoc_driver_voodoo: [DEBUG] 55 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Solver_dispatcher.cmt
odoc_driver_voodoo: [DEBUG] 56 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Solver_intf.cmt
odoc_driver_voodoo: [DEBUG] 57 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Symbol.cmt
odoc_driver_voodoo: [DEBUG] 58 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Utils.cmt
odoc_driver_voodoo: [DEBUG] 59 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Value.cmt
odoc_driver_voodoo: [DEBUG] 60 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Z3_mappings.cmt
odoc_driver_voodoo: [DEBUG] 61 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Ty.cmt
odoc_driver_voodoo: [DEBUG] 62 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Z3_mappings2.cmt
odoc_driver_voodoo: [DEBUG] 63 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml.cmt
odoc_driver_voodoo: [DEBUG] 64 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Ast.cmti
odoc_driver_voodoo: [DEBUG] 65 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Bitwuzla_mappings.cmti
odoc_driver_voodoo: [DEBUG] 66 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Cache.cmti
odoc_driver_voodoo: [DEBUG] 67 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Cache_intf.cmt
odoc_driver_voodoo: [DEBUG] 68 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Colibri2_mappings.cmti
odoc_driver_voodoo: [DEBUG] 69 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Cvc5_mappings.cmti
odoc_driver_voodoo: [DEBUG] 70 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Eval.cmti
odoc_driver_voodoo: [DEBUG] 71 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Interpret.cmti
odoc_driver_voodoo: [DEBUG] 72 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Constructors_intf.cmt
odoc_driver_voodoo: [DEBUG] 73 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Interpret_intf.cmt
odoc_driver_voodoo: [DEBUG] 74 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Expr.cmti
odoc_driver_voodoo: [DEBUG] 75 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Model.cmti
odoc_driver_voodoo: [DEBUG] 76 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Mappings_intf.cmt
odoc_driver_voodoo: [DEBUG] 77 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Log.cmt
odoc_driver_voodoo: [DEBUG] 78 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Mappings.cmt
odoc_driver_voodoo: [DEBUG] 79 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Op_intf.cmt
odoc_driver_voodoo: [DEBUG] 80 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Num.cmti
odoc_driver_voodoo: [DEBUG] 81 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Optimizer.cmti
odoc_driver_voodoo: [DEBUG] 82 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Params.cmti
odoc_driver_voodoo: [DEBUG] 83 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Parse.cmti
odoc_driver_voodoo: [DEBUG] 84 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Optimizer_intf.cmt
odoc_driver_voodoo: [DEBUG] 85 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Solver_dispatcher.cmt
odoc_driver_voodoo: [DEBUG] 86 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Solver_intf.cmt
odoc_driver_voodoo: [DEBUG] 87 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Solver.cmti
odoc_driver_voodoo: [DEBUG] 88 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Utils.cmt
odoc_driver_voodoo: [DEBUG] 89 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Symbol.cmti
odoc_driver_voodoo: [DEBUG] 90 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Ty.cmti
odoc_driver_voodoo: [DEBUG] 91 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Z3_mappings.cmti
odoc_driver_voodoo: [DEBUG] 92 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Value.cmti
odoc_driver_voodoo: [DEBUG] 93 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Z3_mappings2.cmti
odoc_driver_voodoo: [DEBUG] libdirs_without_meta: prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/.private

odoc_driver_voodoo: [DEBUG] lib dirs: prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/

odoc_driver_voodoo: [DEBUG] Processing directory without META: lib/smtml/.private
odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/.private for package smtml
odoc_driver_voodoo: [DEBUG] 94 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/.private
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.1.1/doc/unix/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.1.1/doc/stdlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.1.1/doc/dynlink/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.1.1/doc/compiler-libs.toplevel/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.1.1/doc/odoc_info/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.1.1/doc/compiler-libs.common/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.1.1/doc/compiler-libs.bytecomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.1.1/doc/compiler-libs.optcomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.1.1/doc/str/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.1.1/doc/runtime_events/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/5.1.1/doc/threads/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/ocaml-base-compiler/5.1.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/950bc2b2e7c55403ce8203392b47583f/zarith/1.14/doc/zarith/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/950bc2b2e7c55403ce8203392b47583f/zarith/1.14/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/0abe538e737f65b8003655870ad3eb25/menhirGLR/20260209/doc/menhirGLR/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/0abe538e737f65b8003655870ad3eb25/menhirGLR/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/0abe538e737f65b8003655870ad3eb25/csexp/1.5.2/doc/csexp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/0abe538e737f65b8003655870ad3eb25/csexp/1.5.2/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/0abe538e737f65b8003655870ad3eb25/menhirCST/20260209/doc/menhirCST/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/0abe538e737f65b8003655870ad3eb25/menhirCST/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/0abe538e737f65b8003655870ad3eb25/ocaml_intrinsics_kernel/v0.17.2/doc/ocaml_intrinsics_kernel/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/0abe538e737f65b8003655870ad3eb25/ocaml_intrinsics_kernel/v0.17.2/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/0abe538e737f65b8003655870ad3eb25/menhirSdk/20260209/doc/menhirSdk/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/0abe538e737f65b8003655870ad3eb25/menhirSdk/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/0abe538e737f65b8003655870ad3eb25/menhirLib/20260209/doc/menhirLib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/0abe538e737f65b8003655870ad3eb25/menhirLib/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/c1900c8d136a7a7d46563c303c68a4b8/dune/3.23.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/c1900c8d136a7a7d46563c303c68a4b8/cmdliner/1.3.0/doc/cmdliner/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/c1900c8d136a7a7d46563c303c68a4b8/cmdliner/1.3.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/c1900c8d136a7a7d46563c303c68a4b8/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/c1900c8d136a7a7d46563c303c68a4b8/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/c1900c8d136a7a7d46563c303c68a4b8/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/c1900c8d136a7a7d46563c303c68a4b8/ocamlfind/1.9.8/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/36687a97632b09a5da119e0ca08244f8/menhir/20260209/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: u/00f22820474c56fbdf64b3e88408a266/dune-configurator/3.23.1/doc/dune-configurator/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: u/00f22820474c56fbdf64b3e88408a266/dune-configurator/3.23.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Package 'odoc' not found
odoc_driver_voodoo: [DEBUG] Package 'odoc' not found
odoc_driver_voodoo: [DEBUG] Skipping non-markdown doc file prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/odoc-config.sexp
odoc_driver_voodoo: [DEBUG] Fixing virtual libraries: 430 precompiled units, 31 other units
odoc_driver_voodoo: [DEBUG] 95 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src
odoc_driver_voodoo: [DEBUG] 96 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/odoc-pages/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc
odoc_driver_voodoo: [DEBUG] 97 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml
odoc_driver_voodoo: [DEBUG] 98 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --warnings-tag smtml
odoc_driver_voodoo: [DEBUG] 99 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --source-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/smtml/smtml.ml
odoc_driver_voodoo: [DEBUG] 100 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Ast.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --source-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/smtml/ast.ml
odoc_driver_voodoo: [DEBUG] 101 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Bitwuzla_mappings.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --source-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/smtml/bitwuzla_mappings.ml
odoc_driver_voodoo: [DEBUG] 102 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Cache.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --source-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/smtml/cache.ml
odoc_driver_voodoo: [DEBUG] 103 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Cache_intf.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --source-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/smtml/cache_intf.ml
odoc_driver_voodoo: [DEBUG] 104 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Colibri2_mappings.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --source-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/smtml/colibri2_mappings.ml
odoc_driver_voodoo: [DEBUG] 105 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Constructors_intf.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --source-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/smtml/constructors_intf.ml
odoc_driver_voodoo: [DEBUG] 106 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Cvc5_mappings.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --source-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/smtml/cvc5_mappings.ml
odoc_driver_voodoo: [DEBUG] 107 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Eval.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --source-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/smtml/eval.ml
odoc_driver_voodoo: [DEBUG] 108 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Expr.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --source-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/smtml/expr.ml
odoc_driver_voodoo: [DEBUG] 109 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Interpret.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --source-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/smtml/interpret.ml
odoc_driver_voodoo: [DEBUG] 110 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Interpret_intf.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --source-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/smtml/interpret_intf.ml
odoc_driver_voodoo: [DEBUG] 111 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Log.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --source-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/smtml/log.ml
odoc_driver_voodoo: [DEBUG] 112 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Mappings.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --source-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/smtml/mappings.ml
odoc_driver_voodoo: [DEBUG] 113 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Mappings_intf.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --source-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/smtml/mappings_intf.ml
odoc_driver_voodoo: [DEBUG] 114 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Model.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --source-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/smtml/model.ml
odoc_driver_voodoo: [DEBUG] 115 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Num.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --source-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/smtml/num.ml
odoc_driver_voodoo: [DEBUG] 116 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Op_intf.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --source-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/smtml/op_intf.ml
odoc_driver_voodoo: [DEBUG] 117 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Optimizer.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --source-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/smtml/optimizer.ml
odoc_driver_voodoo: [DEBUG] 118 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Optimizer_intf.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --source-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/smtml/optimizer_intf.ml
odoc_driver_voodoo: [DEBUG] 119 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Params.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --source-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/smtml/params.ml
odoc_driver_voodoo: [DEBUG] 120 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Parse.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --source-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/smtml/parse.ml
odoc_driver_voodoo: [DEBUG] 121 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Solver.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --source-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/smtml/solver.ml
odoc_driver_voodoo: [DEBUG] 122 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Solver_dispatcher.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --source-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/smtml/solver_dispatcher.ml
odoc_driver_voodoo: [DEBUG] 123 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Solver_intf.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --source-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/smtml/solver_intf.ml
odoc_driver_voodoo: [DEBUG] 124 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Symbol.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --source-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/smtml/symbol.ml
odoc_driver_voodoo: [DEBUG] 125 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Ty.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --source-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/smtml/ty.ml
odoc_driver_voodoo: [DEBUG] 126 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Utils.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --source-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/smtml/utils.ml
odoc_driver_voodoo: [DEBUG] 127 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Value.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --source-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/smtml/value.ml
odoc_driver_voodoo: [DEBUG] 128 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Z3_mappings.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --source-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/smtml/z3_mappings.ml
odoc_driver_voodoo: [DEBUG] 129 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Z3_mappings2.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --source-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/smtml/z3_mappings2.ml
odoc_driver_voodoo: [DEBUG] 130 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Ty.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --warnings-tag smtml
odoc_driver_voodoo: [DEBUG] 131 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Constructors_intf.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --warnings-tag smtml
odoc_driver_voodoo: [DEBUG] 132 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Params.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --warnings-tag smtml
odoc_driver_voodoo: [DEBUG] 133 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Log.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --warnings-tag smtml
odoc_driver_voodoo: [DEBUG] 134 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Op_intf.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --warnings-tag smtml
odoc_driver_voodoo: [DEBUG] 135 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Utils.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --warnings-tag smtml
odoc_driver_voodoo: [DEBUG] 136 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Num.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --warnings-tag smtml
odoc_driver_voodoo: [DEBUG] 137 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Symbol.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --warnings-tag smtml
odoc_driver_voodoo: [DEBUG] 138 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Value.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --warnings-tag smtml
odoc_driver_voodoo: [DEBUG] 139 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Expr.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --warnings-tag smtml
odoc_driver_voodoo: [DEBUG] 140 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Model.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --warnings-tag smtml
odoc_driver_voodoo: [DEBUG] 141 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Eval.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --warnings-tag smtml
odoc_driver_voodoo: [DEBUG] 142 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Ast.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --warnings-tag smtml
odoc_driver_voodoo: [DEBUG] 143 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Cache_intf.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --warnings-tag smtml
odoc_driver_voodoo: [DEBUG] 144 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Mappings_intf.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --warnings-tag smtml
odoc_driver_voodoo: [DEBUG] 145 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Parse.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --warnings-tag smtml
odoc_driver_voodoo: [DEBUG] 146 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Cache.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --warnings-tag smtml
odoc_driver_voodoo: [DEBUG] 147 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Bitwuzla_mappings.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --warnings-tag smtml
odoc_driver_voodoo: [DEBUG] 148 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Colibri2_mappings.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --warnings-tag smtml
odoc_driver_voodoo: [DEBUG] 149 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Cvc5_mappings.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --warnings-tag smtml
odoc_driver_voodoo: [DEBUG] 150 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Solver_intf.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --warnings-tag smtml
odoc_driver_voodoo: [DEBUG] 151 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Mappings.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --warnings-tag smtml
odoc_driver_voodoo: [DEBUG] 152 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Optimizer_intf.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --warnings-tag smtml
odoc_driver_voodoo: [DEBUG] 153 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Z3_mappings.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --warnings-tag smtml
odoc_driver_voodoo: [DEBUG] 154 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Z3_mappings2.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --warnings-tag smtml
odoc_driver_voodoo: [DEBUG] 155 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Interpret_intf.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --warnings-tag smtml
odoc_driver_voodoo: [DEBUG] 156 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Solver.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --warnings-tag smtml
odoc_driver_voodoo: [DEBUG] 157 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Optimizer.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --warnings-tag smtml
odoc_driver_voodoo: [DEBUG] 158 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Solver_dispatcher.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --warnings-tag smtml
odoc_driver_voodoo: [DEBUG] 159 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml__Interpret.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --enable-missing-root-warning --parent-id u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --warnings-tag smtml
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml__Ast.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Ast.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml__Bitwuzla_mappings.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Bitwuzla_mappings.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml__Cache.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Cache.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml__Cache_intf.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Cache_intf.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml__Colibri2_mappings.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Colibri2_mappings.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml__Constructors_intf.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Constructors_intf.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml__Cvc5_mappings.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Cvc5_mappings.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml__Eval.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Eval.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml__Expr.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Expr.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml__Interpret.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Interpret.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml__Interpret_intf.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Interpret_intf.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml__Log.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Log.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml__Mappings.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Mappings.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml__Mappings_intf.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Mappings_intf.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml__Model.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Model.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml__Num.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Num.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml__Op_intf.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Op_intf.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml__Optimizer.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Optimizer.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml__Optimizer_intf.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Optimizer_intf.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml__Params.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Params.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml__Parse.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Parse.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml__Solver.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Solver.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml__Solver_dispatcher.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Solver_dispatcher.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml__Solver_intf.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Solver_intf.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml__Symbol.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Symbol.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml__Ty.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Ty.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml__Utils.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Utils.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml__Value.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Value.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml__Z3_mappings.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Z3_mappings.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml__Z3_mappings2.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Z3_mappings2.odoc
odoc_driver_voodoo: [DEBUG] 160 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/page-index.odoc -o /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/page-index.odocl --enable-missing-root-warning --warnings-tags smtml
odoc_driver_voodoo: [DEBUG] 161 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/page-index.odoc -o /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/page-index.odocl -P smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc -L smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --current-package smtml --enable-missing-root-warning --warnings-tags smtml
odoc_driver_voodoo: [DEBUG] 162 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/page-index.odoc -o /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/page-index.odocl -L smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml --enable-missing-root-warning --warnings-tags smtml
odoc_driver_voodoo: [DEBUG] 163 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc -o /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odocl -P smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc -L hc:/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -L ocaml_intrinsics:/home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ -L smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --current-package smtml --enable-missing-root-warning --warnings-tags smtml
odoc_driver_voodoo: [DEBUG] 164 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml.odoc -o /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml.odocl -P smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc -L hc:/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -L ocaml_intrinsics:/home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ -L smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --current-package smtml --enable-missing-root-warning --warnings-tags smtml
odoc_driver_voodoo: [DEBUG] 165 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Ast.odoc -o /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Ast.odocl -P smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc -L hc:/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -L ocaml_intrinsics:/home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ -L smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --current-package smtml --enable-missing-root-warning --warnings-tags smtml
odoc_driver_voodoo: [DEBUG] 166 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Bitwuzla_mappings.odoc -o /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Bitwuzla_mappings.odocl -P smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc -L hc:/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -L ocaml_intrinsics:/home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ -L smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --current-package smtml --enable-missing-root-warning --warnings-tags smtml
odoc_driver_voodoo: [DEBUG] 167 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Cache.odoc -o /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Cache.odocl -P smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc -L hc:/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -L ocaml_intrinsics:/home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ -L smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --current-package smtml --enable-missing-root-warning --warnings-tags smtml
odoc_driver_voodoo: [DEBUG] 168 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Cache_intf.odoc -o /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Cache_intf.odocl -P smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc -L hc:/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -L ocaml_intrinsics:/home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ -L smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --current-package smtml --enable-missing-root-warning --warnings-tags smtml
odoc_driver_voodoo: [DEBUG] 169 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Colibri2_mappings.odoc -o /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Colibri2_mappings.odocl -P smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc -L hc:/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -L ocaml_intrinsics:/home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ -L smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --current-package smtml --enable-missing-root-warning --warnings-tags smtml
odoc_driver_voodoo: [DEBUG] 170 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Constructors_intf.odoc -o /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Constructors_intf.odocl -P smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc -L hc:/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -L ocaml_intrinsics:/home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ -L smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --current-package smtml --enable-missing-root-warning --warnings-tags smtml
odoc_driver_voodoo: [DEBUG] 171 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Cvc5_mappings.odoc -o /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Cvc5_mappings.odocl -P smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc -L hc:/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -L ocaml_intrinsics:/home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ -L smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --current-package smtml --enable-missing-root-warning --warnings-tags smtml
odoc_driver_voodoo: [DEBUG] 172 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Eval.odoc -o /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Eval.odocl -P smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc -L hc:/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -L ocaml_intrinsics:/home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ -L smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --current-package smtml --enable-missing-root-warning --warnings-tags smtml
odoc_driver_voodoo: [DEBUG] 173 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Expr.odoc -o /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Expr.odocl -P smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc -L hc:/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -L ocaml_intrinsics:/home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ -L smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --current-package smtml --enable-missing-root-warning --warnings-tags smtml
odoc_driver_voodoo: [DEBUG] 174 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Interpret.odoc -o /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Interpret.odocl -P smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc -L hc:/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -L ocaml_intrinsics:/home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ -L smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --current-package smtml --enable-missing-root-warning --warnings-tags smtml
odoc_driver_voodoo: [DEBUG] 175 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Interpret_intf.odoc -o /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Interpret_intf.odocl -P smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc -L hc:/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -L ocaml_intrinsics:/home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ -L smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --current-package smtml --enable-missing-root-warning --warnings-tags smtml
odoc_driver_voodoo: [DEBUG] 176 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Log.odoc -o /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Log.odocl -P smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc -L hc:/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -L ocaml_intrinsics:/home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ -L smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --current-package smtml --enable-missing-root-warning --warnings-tags smtml
odoc_driver_voodoo: [DEBUG] 177 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Mappings.odoc -o /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Mappings.odocl -P smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc -L hc:/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -L ocaml_intrinsics:/home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ -L smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --current-package smtml --enable-missing-root-warning --warnings-tags smtml
odoc_driver_voodoo: [DEBUG] 178 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Mappings_intf.odoc -o /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Mappings_intf.odocl -P smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc -L hc:/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -L ocaml_intrinsics:/home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ -L smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --current-package smtml --enable-missing-root-warning --warnings-tags smtml
odoc_driver_voodoo: [DEBUG] 179 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Model.odoc -o /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Model.odocl -P smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc -L hc:/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -L ocaml_intrinsics:/home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ -L smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --current-package smtml --enable-missing-root-warning --warnings-tags smtml
odoc_driver_voodoo: [DEBUG] 180 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Num.odoc -o /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Num.odocl -P smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc -L hc:/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -L ocaml_intrinsics:/home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ -L smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --current-package smtml --enable-missing-root-warning --warnings-tags smtml
odoc_driver_voodoo: [DEBUG] 181 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Op_intf.odoc -o /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Op_intf.odocl -P smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc -L hc:/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -L ocaml_intrinsics:/home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ -L smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --current-package smtml --enable-missing-root-warning --warnings-tags smtml
odoc_driver_voodoo: [DEBUG] 182 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Optimizer.odoc -o /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Optimizer.odocl -P smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc -L hc:/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -L ocaml_intrinsics:/home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ -L smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --current-package smtml --enable-missing-root-warning --warnings-tags smtml
odoc_driver_voodoo: [DEBUG] 183 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Optimizer_intf.odoc -o /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Optimizer_intf.odocl -P smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc -L hc:/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -L ocaml_intrinsics:/home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ -L smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --current-package smtml --enable-missing-root-warning --warnings-tags smtml
odoc_driver_voodoo: [DEBUG] 184 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Params.odoc -o /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Params.odocl -P smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc -L hc:/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -L ocaml_intrinsics:/home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ -L smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --current-package smtml --enable-missing-root-warning --warnings-tags smtml
odoc_driver_voodoo: [DEBUG] 185 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Parse.odoc -o /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Parse.odocl -P smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc -L hc:/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -L ocaml_intrinsics:/home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ -L smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --current-package smtml --enable-missing-root-warning --warnings-tags smtml
odoc_driver_voodoo: [DEBUG] 186 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Solver.odoc -o /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Solver.odocl -P smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc -L hc:/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -L ocaml_intrinsics:/home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ -L smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --current-package smtml --enable-missing-root-warning --warnings-tags smtml
odoc_driver_voodoo: [DEBUG] 187 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Solver_dispatcher.odoc -o /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Solver_dispatcher.odocl -P smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc -L hc:/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -L ocaml_intrinsics:/home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ -L smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --current-package smtml --enable-missing-root-warning --warnings-tags smtml
odoc_driver_voodoo: [DEBUG] 188 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Solver_intf.odoc -o /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Solver_intf.odocl -P smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc -L hc:/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -L ocaml_intrinsics:/home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ -L smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --current-package smtml --enable-missing-root-warning --warnings-tags smtml
odoc_driver_voodoo: [DEBUG] 189 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Symbol.odoc -o /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Symbol.odocl -P smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc -L hc:/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -L ocaml_intrinsics:/home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ -L smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --current-package smtml --enable-missing-root-warning --warnings-tags smtml
odoc_driver_voodoo: [DEBUG] 190 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Ty.odoc -o /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Ty.odocl -P smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc -L hc:/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -L ocaml_intrinsics:/home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ -L smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --current-package smtml --enable-missing-root-warning --warnings-tags smtml
odoc_driver_voodoo: [DEBUG] 191 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Utils.odoc -o /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Utils.odocl -P smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc -L hc:/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -L ocaml_intrinsics:/home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ -L smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --current-package smtml --enable-missing-root-warning --warnings-tags smtml
odoc_driver_voodoo: [DEBUG] 192 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Value.odoc -o /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Value.odocl -P smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc -L hc:/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -L ocaml_intrinsics:/home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ -L smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --current-package smtml --enable-missing-root-warning --warnings-tags smtml
odoc_driver_voodoo: [DEBUG] 193 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Z3_mappings.odoc -o /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Z3_mappings.odocl -P smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc -L hc:/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -L ocaml_intrinsics:/home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ -L smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --current-package smtml --enable-missing-root-warning --warnings-tags smtml
odoc_driver_voodoo: [DEBUG] 194 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Z3_mappings2.odoc -o /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Z3_mappings2.odocl -P smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc -L hc:/home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -L ocaml_intrinsics:/home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ -L smtml:/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/p/ocaml-base-compiler/5.1.1/doc/stdlib/ -I /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -I /home/opam/odoc-out/u/0abe538e737f65b8003655870ad3eb25/hc/0.5/doc/hc/ -I /home/opam/odoc-out/u/ec4f63b3de32639c40c489ba1c2374d9/ocaml_intrinsics/v0.17.0/doc/ocaml_intrinsics/ --current-package smtml --enable-missing-root-warning --warnings-tags smtml
odoc_driver_voodoo: [DEBUG] 195 - Executing: /home/opam/doc-tools/bin/odoc count-occurrences /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml -o /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 196 - Executing: sherlodoc js /home/opam/html/sherlodoc.js
odoc_driver_voodoo: [DEBUG] 197 - Executing: /home/opam/doc-tools/bin/odoc compile-index -o _index/smtml/index.odoc-index --root /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc --occurrences /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 198 - Executing: /home/opam/doc-tools/bin/odoc sidebar-generate -o _index/smtml/sidebar.odoc-sidebar _index/smtml/index.odoc-index
odoc_driver_voodoo: [DEBUG] 199 - Executing: /home/opam/doc-tools/bin/odoc sidebar-generate --json -o /home/opam/html/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sidebar.json _index/smtml/index.odoc-index
odoc_driver_voodoo: [DEBUG] 200 - Executing: /home/opam/doc-tools/bin/odoc compile-index --json --simplified-json --wrap-json -o /home/opam/html/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/index.js --root /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc --occurrences /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 201 - Executing: sherlodoc index --format js _index/smtml/index.odoc-index -o /home/opam/html/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js
odoc_driver_voodoo: [DEBUG] 202 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/page-index.odocl --sidebar _index/smtml/sidebar.odoc-sidebar --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 203 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/page-index.odocl --sidebar _index/smtml/sidebar.odoc-sidebar --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 204 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/page-index.odocl --sidebar _index/smtml/sidebar.odoc-sidebar --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 205 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odocl --sidebar _index/smtml/sidebar.odoc-sidebar --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 206 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 207 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Ast.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/ast.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 208 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Bitwuzla_mappings.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/bitwuzla_mappings.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 209 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Cache.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/cache.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 210 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Cache_intf.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/cache_intf.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 211 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Colibri2_mappings.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/colibri2_mappings.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 212 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Constructors_intf.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/constructors_intf.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 213 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Cvc5_mappings.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/cvc5_mappings.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 214 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Eval.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/eval.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 215 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Expr.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/expr.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 216 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Interpret.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/interpret.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 217 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Interpret_intf.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/interpret_intf.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 218 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Log.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/log.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 219 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Mappings.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/mappings.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 220 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Mappings_intf.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/mappings_intf.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 221 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Model.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/model.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 222 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Num.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/num.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 223 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Op_intf.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/op_intf.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 224 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Optimizer.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/optimizer.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 225 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Optimizer_intf.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/optimizer_intf.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 226 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Params.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/params.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 227 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Parse.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/parse.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 228 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Solver.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/solver.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 229 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Solver_dispatcher.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/solver_dispatcher.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 230 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Solver_intf.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/solver_intf.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 231 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Symbol.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/symbol.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 232 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Ty.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/ty.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 233 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Utils.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/utils.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 234 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Value.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/value.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 235 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Z3_mappings.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/z3_mappings.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 236 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Z3_mappings2.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/z3_mappings2.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 237 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/src/page-index.odocl --sidebar _index/smtml/sidebar.odoc-sidebar --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 238 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/page-index.odocl --sidebar _index/smtml/sidebar.odoc-sidebar --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 239 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/page-index.odocl --sidebar _index/smtml/sidebar.odoc-sidebar --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 240 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/smtml.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 241 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Ast.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/ast.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 242 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Bitwuzla_mappings.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/bitwuzla_mappings.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 243 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Cache.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/cache.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 244 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Cache_intf.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/cache_intf.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 245 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Constructors_intf.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/constructors_intf.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 246 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Colibri2_mappings.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/colibri2_mappings.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 247 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Cvc5_mappings.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/cvc5_mappings.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 248 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Interpret.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/interpret.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 249 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Interpret_intf.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/interpret_intf.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 250 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Eval.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/eval.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 251 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Log.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/log.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 252 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Expr.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/expr.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 253 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Model.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/model.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 254 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Mappings_intf.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/mappings_intf.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 255 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Mappings.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/mappings.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 256 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Num.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/num.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 257 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Optimizer_intf.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/optimizer_intf.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 258 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Op_intf.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/op_intf.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 259 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Optimizer.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/optimizer.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 260 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Parse.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/parse.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 261 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Params.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/params.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 262 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Solver.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/solver.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 263 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Solver_dispatcher.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/solver_dispatcher.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 264 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Solver_intf.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/solver_intf.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 265 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Symbol.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/symbol.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 266 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Utils.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/utils.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 267 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Ty.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/ty.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 268 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Value.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/value.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 269 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Z3_mappings2.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/z3_mappings2.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 270 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/impl-smtml__Z3_mappings.odocl --sidebar _index/smtml/sidebar.odoc-sidebar prep/universes/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/lib/smtml/z3_mappings.ml --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 271 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odocl --sidebar _index/smtml/sidebar.odoc-sidebar --search-uri u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 272 - Executing: /home/opam/doc-tools/bin/odoc support-files -o /home/opam/html
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: File "/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc":
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: Warning: Couldn't find the following modules:
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc:   Smtml__Lexer Smtml__Parser
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: File "lib/solver_intf.ml", line 40, characters 26-51:
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: Warning: Failed to resolve reference unresolvedroot(Solver_intf).logic Couldn't find "logic"
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: File "lib/solver_intf.ml", line 40, characters 26-51:
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: Warning: Failed to resolve reference unresolvedroot(Solver_intf).logic Couldn't find "logic"
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: File "lib/solver_intf.ml", line 40, characters 26-51:
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: Warning: Failed to resolve reference unresolvedroot(Solver_intf).logic Couldn't find "logic"
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: File "lib/solver_intf.ml", line 40, characters 26-51:
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: Warning: While resolving the expansion of include at File "lib/solver_intf.ml", line 115, character 4
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: Failed to resolve reference unresolvedroot(Solver_intf).logic Couldn't find "logic"
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: File "lib/solver_intf.ml", line 40, characters 26-51:
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: Warning: Failed to resolve reference unresolvedroot(Solver_intf).logic Couldn't find "logic"
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: File "lib/solver_intf.ml", line 40, characters 26-51:
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: Warning: Failed to resolve reference unresolvedroot(Solver_intf).logic Couldn't find "logic"
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: File "lib/solver_intf.ml", line 40, characters 26-51:
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: Warning: While resolving the expansion of include at File "lib/solver.mli", line 20, character 0
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: Failed to resolve reference unresolvedroot(Solver_intf).logic Couldn't find "logic"
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: File "lib/solver_intf.ml", line 40, characters 26-51:
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: Warning: While resolving the expansion of include at File "lib/solver.mli", line 20, character 0
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: Failed to resolve reference unresolvedroot(Solver_intf).logic Couldn't find "logic"
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: File "lib/solver_intf.ml", line 40, characters 26-51:
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: Warning: While resolving the expansion of include at File "lib/solver.mli", line 20, character 0
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: Failed to resolve reference unresolvedroot(Solver_intf).logic Couldn't find "logic"
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: File "lib/solver_intf.ml", line 40, characters 26-51:
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: Warning: While resolving the expansion of include at File "lib/solver.mli", line 20, character 0
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: While resolving the expansion of include at File "lib/solver_intf.ml", line 115, character 4
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: Failed to resolve reference unresolvedroot(Solver_intf).logic Couldn't find "logic"
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: File "lib/solver_intf.ml", line 40, characters 26-51:
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: Warning: While resolving the expansion of include at File "lib/solver.mli", line 20, character 0
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: Failed to resolve reference unresolvedroot(Solver_intf).logic Couldn't find "logic"
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: File "lib/solver_intf.ml", line 40, characters 26-51:
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: Warning: Failed to resolve reference unresolvedroot(Solver_intf).logic Couldn't find "logic"
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: File "lib/solver_intf.ml", line 40, characters 26-51:
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: Warning: While resolving the expansion of include at File "lib/interpret.mli", line 20, character 0
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: Failed to resolve reference unresolvedroot(Solver_intf).logic Couldn't find "logic"
/home/opam/odoc-out/u/048b640ea270faafc95c3f2679c1a3b4/smtml/0.1.2/doc/smtml/smtml.odoc: 

=== STDERR ===

2026-06-23 10:11.20: OK: doc smtml.0.1.2 (runc: 8.7s, disk: 4477KB)
2026-06-23 10:11.20: Job succeeded