2026-06-24 20:02.37: New job: doc lascar.0.6.0 (d196a3dd0ba7)
2026-06-24 20:02.37: Waiting for resource in pool day11-builds
2026-06-24 20:19.37: Got resource from pool day11-builds
2026-06-24 20:19.37: [profile full] doc lascar.0.6.0
2026-06-24 20:19.37: doc lascar.0.6.0 (d196a3dd0ba7)
=== DEPENDENCIES (0 transitive) ===

=== STDOUT ===
=== DEBUG: pre-voodoo image inventory ===
-- pkg markers (.odoc_pkg_marker) --
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/.odoc_pkg_marker
/home/opam/odoc-out/u/aec01b41b8b325468cac7a997a943c08/dune/3.23.1/doc/.odoc_pkg_marker
-- lib markers (.odoc_lib_marker) --
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/bigarray/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/dynlink/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/ocamlbytecomp/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/ocamlcommon/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/ocamlmiddleend/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/ocamloptcomp/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/ocamltoplevel/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/odoc_info/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/str/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/threads/.odoc_lib_marker
/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/unix/.odoc_lib_marker
-- prep universes (universe/pkg/version) --
/home/opam/prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/
=== END DEBUG ===
process_meta_file: prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/META
odoc_driver_voodoo: [DEBUG] all_lib_deps: lascar, [2], lascar.utils, [1]

odoc_driver_voodoo: [DEBUG] No config file found: prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/doc/lascar/odoc-config.sexp
prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/doc/lascar/odoc-config.sexp: No such file or directory

odoc_driver_voodoo: [DEBUG] Config.packages: 

process_meta_file: prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/META
odoc_driver_voodoo: [DEBUG] prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar,lascar

odoc_driver_voodoo: [DEBUG] prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils,lascar.utils

odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/

odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/ for package lascar
odoc_driver_voodoo: [DEBUG] 0 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/
odoc_driver_voodoo: [DEBUG] Got 1 lines
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar.cmti (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/Lascar.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar.cmt (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/Lascar.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Builtins.cmti (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/Lascar__Builtins.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Builtins.cmt (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/Lascar__Builtins.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Conv.cmti (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/Lascar__Conv.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Conv.cmt (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/Lascar__Conv.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Dfa.cmti (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/Lascar__Dfa.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Dfa.cmt (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/Lascar__Dfa.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Fsm.cmti (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/Lascar__Fsm.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Fsm.cmt (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/Lascar__Fsm.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Fsm_expr.cmti (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/Lascar__Fsm_expr.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Fsm_expr.cmt (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/Lascar__Fsm_expr.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Lts.cmti (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/Lascar__Lts.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Lts.cmt (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/Lascar__Lts.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Ltsa.cmti (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/Lascar__Ltsa.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Ltsa.cmt (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/Lascar__Ltsa.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Mealy.cmti (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/Lascar__Mealy.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Mealy.cmt (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/Lascar__Mealy.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Moore.cmti (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/Lascar__Moore.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Moore.cmt (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/Lascar__Moore.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Nfa.cmti (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/Lascar__Nfa.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Nfa.cmt (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/Lascar__Nfa.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Valuation.cmti (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/Lascar__Valuation.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Valuation.cmt (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/Lascar__Valuation.cmt)
odoc_driver_voodoo: [DEBUG] 1 - Executing: ocamlobjinfo prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar.cmt
odoc_driver_voodoo: [DEBUG] 2 - Executing: ocamlobjinfo prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Builtins.cmt
odoc_driver_voodoo: [DEBUG] 3 - Executing: ocamlobjinfo prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Conv.cmt
odoc_driver_voodoo: [DEBUG] 4 - Executing: ocamlobjinfo prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Dfa.cmt
odoc_driver_voodoo: [DEBUG] 5 - Executing: ocamlobjinfo prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Fsm.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar.ml-gen
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar.ml for Lascar
odoc_driver_voodoo: [DEBUG] 6 - Executing: ocamlobjinfo prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Fsm_expr.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/builtins.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/builtins.ml for Lascar__Builtins
odoc_driver_voodoo: [DEBUG] 7 - Executing: ocamlobjinfo prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Lts.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/fsm_expr.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/fsm_expr.ml for Lascar__Fsm_expr
odoc_driver_voodoo: [DEBUG] 8 - Executing: ocamlobjinfo prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Ltsa.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/conv.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/conv.ml for Lascar__Conv
odoc_driver_voodoo: [DEBUG] 9 - Executing: ocamlobjinfo prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Mealy.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/dfa.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/dfa.ml for Lascar__Dfa
odoc_driver_voodoo: [DEBUG] 10 - Executing: ocamlobjinfo prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Moore.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/fsm.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/fsm.ml for Lascar__Fsm
odoc_driver_voodoo: [DEBUG] 11 - Executing: ocamlobjinfo prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Nfa.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lts.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lts.ml for Lascar__Lts
odoc_driver_voodoo: [DEBUG] 12 - Executing: ocamlobjinfo prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Valuation.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/mealy.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/mealy.ml for Lascar__Mealy
odoc_driver_voodoo: [DEBUG] 13 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/ltsa.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/ltsa.ml for Lascar__Ltsa
odoc_driver_voodoo: [DEBUG] 14 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Builtins.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/moore.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/moore.ml for Lascar__Moore
odoc_driver_voodoo: [DEBUG] 15 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Fsm_expr.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/valuation.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/valuation.ml for Lascar__Valuation
odoc_driver_voodoo: [DEBUG] 16 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Conv.cmt
odoc_driver_voodoo: [DEBUG] 17 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Dfa.cmt
odoc_driver_voodoo: [DEBUG] 18 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Fsm.cmt
odoc_driver_voodoo: [DEBUG] 19 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Lts.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/nfa.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/nfa.ml for Lascar__Nfa
odoc_driver_voodoo: [DEBUG] 20 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Mealy.cmt
odoc_driver_voodoo: [DEBUG] 21 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Ltsa.cmt
odoc_driver_voodoo: [DEBUG] 22 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Moore.cmt
odoc_driver_voodoo: [DEBUG] 23 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Valuation.cmt
odoc_driver_voodoo: [DEBUG] 24 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar.cmt
odoc_driver_voodoo: [DEBUG] 25 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Builtins.cmti
odoc_driver_voodoo: [DEBUG] 26 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Fsm_expr.cmti
odoc_driver_voodoo: [DEBUG] 27 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Nfa.cmt
odoc_driver_voodoo: [DEBUG] 28 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Conv.cmti
odoc_driver_voodoo: [DEBUG] 29 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Fsm.cmti
odoc_driver_voodoo: [DEBUG] 30 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Lts.cmti
odoc_driver_voodoo: [DEBUG] 31 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Dfa.cmti
odoc_driver_voodoo: [DEBUG] 32 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Valuation.cmti
odoc_driver_voodoo: [DEBUG] 33 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Mealy.cmti
odoc_driver_voodoo: [DEBUG] 34 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Moore.cmti
odoc_driver_voodoo: [DEBUG] 35 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Ltsa.cmti
odoc_driver_voodoo: [DEBUG] 36 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Nfa.cmti
odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils

odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils for package lascar
odoc_driver_voodoo: [DEBUG] 37 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils
odoc_driver_voodoo: [DEBUG] Got 1 lines
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils.cmti (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/Utils.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils.cmt (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/Utils.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__Dot.cmti (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/Utils__Dot.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__Dot.cmt (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/Utils__Dot.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__FilenameExt.cmti (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/Utils__FilenameExt.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__FilenameExt.cmt (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/Utils__FilenameExt.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__ListExt.cmti (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/Utils__ListExt.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__ListExt.cmt (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/Utils__ListExt.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__Misc.cmti (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/Utils__Misc.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__Misc.cmt (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/Utils__Misc.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__Option.cmti (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/Utils__Option.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__Option.cmt (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/Utils__Option.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__OrderedTypeExt.cmti (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/Utils__OrderedTypeExt.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__OrderedTypeExt.cmt (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/Utils__OrderedTypeExt.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__SetExt.cmti (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/Utils__SetExt.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__SetExt.cmt (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/Utils__SetExt.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__StringExt.cmti (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/Utils__StringExt.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__StringExt.cmt (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/Utils__StringExt.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__Stringable.cmti (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/Utils__Stringable.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__Stringable.cmt (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/Utils__Stringable.cmt)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__Tree.cmti (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/Utils__Tree.cmti)
odoc_driver_voodoo: [DEBUG] Checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__Tree.cmt (then prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/Utils__Tree.cmt)
odoc_driver_voodoo: [DEBUG] 38 - Executing: ocamlobjinfo prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils.cmt
odoc_driver_voodoo: [DEBUG] 39 - Executing: ocamlobjinfo prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__Dot.cmt
odoc_driver_voodoo: [DEBUG] 40 - Executing: ocamlobjinfo prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__FilenameExt.cmt
odoc_driver_voodoo: [DEBUG] 41 - Executing: ocamlobjinfo prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__ListExt.cmt
odoc_driver_voodoo: [DEBUG] 42 - Executing: ocamlobjinfo prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__Misc.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils.ml-gen
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils.ml for Utils
odoc_driver_voodoo: [DEBUG] 43 - Executing: ocamlobjinfo prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__Option.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/filenameExt.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/filenameExt.ml for Utils__FilenameExt
odoc_driver_voodoo: [DEBUG] 44 - Executing: ocamlobjinfo prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__OrderedTypeExt.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/dot.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/dot.ml for Utils__Dot
odoc_driver_voodoo: [DEBUG] 45 - Executing: ocamlobjinfo prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__SetExt.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/listExt.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/listExt.ml for Utils__ListExt
odoc_driver_voodoo: [DEBUG] 46 - Executing: ocamlobjinfo prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__StringExt.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/misc.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/misc.ml for Utils__Misc
odoc_driver_voodoo: [DEBUG] 47 - Executing: ocamlobjinfo prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__Stringable.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/option.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/option.ml for Utils__Option
odoc_driver_voodoo: [DEBUG] 48 - Executing: ocamlobjinfo prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__Tree.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/orderedTypeExt.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/orderedTypeExt.ml for Utils__OrderedTypeExt
odoc_driver_voodoo: [DEBUG] 49 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/setExt.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/setExt.ml for Utils__SetExt
odoc_driver_voodoo: [DEBUG] 50 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__FilenameExt.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/stringable.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/stringable.ml for Utils__Stringable
odoc_driver_voodoo: [DEBUG] 51 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__Dot.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/stringExt.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/stringExt.ml for Utils__StringExt
odoc_driver_voodoo: [DEBUG] 52 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__ListExt.cmt
odoc_driver_voodoo: [DEBUG] src: checking prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/tree.ml
odoc_driver_voodoo: [DEBUG] Found source file prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/tree.ml for Utils__Tree
odoc_driver_voodoo: [DEBUG] 53 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__Misc.cmt
odoc_driver_voodoo: [DEBUG] 54 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__Option.cmt
odoc_driver_voodoo: [DEBUG] 55 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__OrderedTypeExt.cmt
odoc_driver_voodoo: [DEBUG] 56 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__SetExt.cmt
odoc_driver_voodoo: [DEBUG] 57 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__Stringable.cmt
odoc_driver_voodoo: [DEBUG] 58 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__StringExt.cmt
odoc_driver_voodoo: [DEBUG] 59 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__Tree.cmt
odoc_driver_voodoo: [DEBUG] 60 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils.cmt
odoc_driver_voodoo: [DEBUG] 61 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__FilenameExt.cmti
odoc_driver_voodoo: [DEBUG] 62 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__Misc.cmti
odoc_driver_voodoo: [DEBUG] 63 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__Option.cmti
odoc_driver_voodoo: [DEBUG] 64 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__Dot.cmti
odoc_driver_voodoo: [DEBUG] 65 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__ListExt.cmti
odoc_driver_voodoo: [DEBUG] 66 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__OrderedTypeExt.cmti
odoc_driver_voodoo: [DEBUG] 67 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__SetExt.cmti
odoc_driver_voodoo: [DEBUG] 68 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__Stringable.cmti
odoc_driver_voodoo: [DEBUG] 69 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__StringExt.cmti
odoc_driver_voodoo: [DEBUG] 70 - Executing: /home/opam/doc-tools/bin/odoc compile-deps prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__Tree.cmti
odoc_driver_voodoo: [DEBUG] libdirs_without_meta: 

odoc_driver_voodoo: [DEBUG] lib dirs: prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/,
                            prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils

odoc_driver_voodoo: [DEBUG] Found pkg marker: u/aec01b41b8b325468cac7a997a943c08/dune/3.23.1/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/ocamltoplevel/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/unix/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/bigarray/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/ocamloptcomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/stdlib/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/dynlink/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/ocamlmiddleend/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/odoc_info/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/ocamlcommon/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/str/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/threads/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.14.4/doc/ocamlbytecomp/.odoc_lib_marker
odoc_driver_voodoo: [DEBUG] Found pkg marker: p/ocaml-base-compiler/4.14.4/doc/.odoc_pkg_marker
odoc_driver_voodoo: [DEBUG] Fixing virtual libraries: 345 precompiled units, 23 other units
odoc_driver_voodoo: [DEBUG] 71 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/lascar/0.6.0/doc/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc
odoc_driver_voodoo: [DEBUG] 72 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/lascar/0.6.0/doc/src/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/src
odoc_driver_voodoo: [DEBUG] 73 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/lascar/0.6.0/doc/lascar/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar
odoc_driver_voodoo: [DEBUG] 74 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar --warnings-tag lascar
odoc_driver_voodoo: [DEBUG] 75 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar --source-id p/lascar/0.6.0/doc/src/lascar/lascar.ml
odoc_driver_voodoo: [DEBUG] 76 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar.utils --warnings-tag lascar
odoc_driver_voodoo: [DEBUG] 77 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Builtins.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar --source-id p/lascar/0.6.0/doc/src/lascar/builtins.ml
odoc_driver_voodoo: [DEBUG] 78 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Conv.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar --source-id p/lascar/0.6.0/doc/src/lascar/conv.ml
odoc_driver_voodoo: [DEBUG] 79 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Dfa.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar --source-id p/lascar/0.6.0/doc/src/lascar/dfa.ml
odoc_driver_voodoo: [DEBUG] 80 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Fsm.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar --source-id p/lascar/0.6.0/doc/src/lascar/fsm.ml
odoc_driver_voodoo: [DEBUG] 81 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Fsm_expr.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar --source-id p/lascar/0.6.0/doc/src/lascar/fsm_expr.ml
odoc_driver_voodoo: [DEBUG] 82 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Lts.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar --source-id p/lascar/0.6.0/doc/src/lascar/lts.ml
odoc_driver_voodoo: [DEBUG] 83 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Ltsa.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar --source-id p/lascar/0.6.0/doc/src/lascar/ltsa.ml
odoc_driver_voodoo: [DEBUG] 84 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Mealy.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar --source-id p/lascar/0.6.0/doc/src/lascar/mealy.ml
odoc_driver_voodoo: [DEBUG] 85 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Moore.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar --source-id p/lascar/0.6.0/doc/src/lascar/moore.ml
odoc_driver_voodoo: [DEBUG] 86 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Nfa.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar --source-id p/lascar/0.6.0/doc/src/lascar/nfa.ml
odoc_driver_voodoo: [DEBUG] 87 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Valuation.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar --source-id p/lascar/0.6.0/doc/src/lascar/valuation.ml
odoc_driver_voodoo: [DEBUG] 88 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/lascar/0.6.0/doc/lascar.utils/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar.utils
odoc_driver_voodoo: [DEBUG] 89 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar.utils --source-id p/lascar/0.6.0/doc/src/lascar.utils/utils.ml
odoc_driver_voodoo: [DEBUG] 90 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__Dot.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar.utils --source-id p/lascar/0.6.0/doc/src/lascar.utils/dot.ml
odoc_driver_voodoo: [DEBUG] 91 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__FilenameExt.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar.utils --source-id p/lascar/0.6.0/doc/src/lascar.utils/filenameExt.ml
odoc_driver_voodoo: [DEBUG] 92 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__ListExt.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar.utils --source-id p/lascar/0.6.0/doc/src/lascar.utils/listExt.ml
odoc_driver_voodoo: [DEBUG] 93 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__Misc.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar.utils --source-id p/lascar/0.6.0/doc/src/lascar.utils/misc.ml
odoc_driver_voodoo: [DEBUG] 94 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__Option.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar.utils --source-id p/lascar/0.6.0/doc/src/lascar.utils/option.ml
odoc_driver_voodoo: [DEBUG] 95 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__OrderedTypeExt.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar.utils --source-id p/lascar/0.6.0/doc/src/lascar.utils/orderedTypeExt.ml
odoc_driver_voodoo: [DEBUG] 96 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__SetExt.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar.utils --source-id p/lascar/0.6.0/doc/src/lascar.utils/setExt.ml
odoc_driver_voodoo: [DEBUG] 97 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__StringExt.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar.utils --source-id p/lascar/0.6.0/doc/src/lascar.utils/stringExt.ml
odoc_driver_voodoo: [DEBUG] 98 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__Stringable.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar.utils --source-id p/lascar/0.6.0/doc/src/lascar.utils/stringable.ml
odoc_driver_voodoo: [DEBUG] 99 - Executing: /home/opam/doc-tools/bin/odoc compile-impl prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__Tree.cmt --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar.utils --source-id p/lascar/0.6.0/doc/src/lascar.utils/tree.ml
odoc_driver_voodoo: [DEBUG] 100 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Fsm_expr.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar --warnings-tag lascar
odoc_driver_voodoo: [DEBUG] 101 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__OrderedTypeExt.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar.utils --warnings-tag lascar
odoc_driver_voodoo: [DEBUG] 102 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__Dot.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar.utils --warnings-tag lascar
odoc_driver_voodoo: [DEBUG] 103 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__FilenameExt.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar.utils --warnings-tag lascar
odoc_driver_voodoo: [DEBUG] 104 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__ListExt.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar.utils --warnings-tag lascar
odoc_driver_voodoo: [DEBUG] 105 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__Misc.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar.utils --warnings-tag lascar
odoc_driver_voodoo: [DEBUG] 106 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__Option.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar.utils --warnings-tag lascar
odoc_driver_voodoo: [DEBUG] 107 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__StringExt.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar.utils --warnings-tag lascar
odoc_driver_voodoo: [DEBUG] 108 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__Stringable.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar.utils --warnings-tag lascar
odoc_driver_voodoo: [DEBUG] 109 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Builtins.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar --warnings-tag lascar
odoc_driver_voodoo: [DEBUG] 110 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__SetExt.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar.utils --warnings-tag lascar
odoc_driver_voodoo: [DEBUG] 111 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Valuation.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar --warnings-tag lascar
odoc_driver_voodoo: [DEBUG] 112 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils__Tree.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar.utils --warnings-tag lascar
odoc_driver_voodoo: [DEBUG] 113 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Ltsa.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar --warnings-tag lascar
odoc_driver_voodoo: [DEBUG] 114 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Nfa.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar --warnings-tag lascar
odoc_driver_voodoo: [DEBUG] 115 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Moore.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar --warnings-tag lascar
odoc_driver_voodoo: [DEBUG] 116 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Lts.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar --warnings-tag lascar
odoc_driver_voodoo: [DEBUG] 117 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Fsm.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar --warnings-tag lascar
odoc_driver_voodoo: [DEBUG] 118 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Dfa.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar --warnings-tag lascar
odoc_driver_voodoo: [DEBUG] 119 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Mealy.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar --warnings-tag lascar
odoc_driver_voodoo: [DEBUG] 120 - Executing: /home/opam/doc-tools/bin/odoc compile prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar__Conv.cmti --output-dir /home/opam/odoc-out -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --enable-missing-root-warning --parent-id p/lascar/0.6.0/doc/lascar --warnings-tag lascar
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lascar/0.6.0/doc/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lascar/0.6.0/doc/src/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar__Builtins.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Builtins.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar__Conv.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Conv.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar__Dfa.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Dfa.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar__Fsm.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Fsm.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar__Fsm_expr.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Fsm_expr.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar__Lts.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Lts.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar__Ltsa.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Ltsa.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar__Mealy.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Mealy.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar__Moore.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Moore.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar__Nfa.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Nfa.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar__Valuation.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Valuation.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/page-index.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/utils.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/utils__Dot.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__Dot.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/utils__FilenameExt.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__FilenameExt.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/utils__ListExt.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__ListExt.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/utils__Misc.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__Misc.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/utils__Option.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__Option.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/utils__OrderedTypeExt.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__OrderedTypeExt.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/utils__SetExt.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__SetExt.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/utils__StringExt.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__StringExt.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/utils__Stringable.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__Stringable.odoc
odoc_driver_voodoo: [DEBUG] not linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/utils__Tree.odoc
odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__Tree.odoc
odoc_driver_voodoo: [DEBUG] 121 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lascar/0.6.0/doc/page-index.odoc -o /home/opam/odoc-out/p/lascar/0.6.0/doc/page-index.odocl -P lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc -L lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -L lascar.utils:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils --enable-missing-root-warning --warnings-tags lascar
odoc_driver_voodoo: [DEBUG] 122 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lascar/0.6.0/doc/src/page-index.odoc -o /home/opam/odoc-out/p/lascar/0.6.0/doc/src/page-index.odocl --enable-missing-root-warning --warnings-tags lascar
odoc_driver_voodoo: [DEBUG] 123 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/page-index.odoc -o /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/page-index.odocl -L lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar --enable-missing-root-warning --warnings-tags lascar
odoc_driver_voodoo: [DEBUG] 124 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc -o /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odocl -P lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc -L lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -L lascar.utils:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --current-package lascar --enable-missing-root-warning --warnings-tags lascar
odoc_driver_voodoo: [DEBUG] 125 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar.odoc -o /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar.odocl -P lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc -L lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -L lascar.utils:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --current-package lascar --enable-missing-root-warning --warnings-tags lascar
odoc_driver_voodoo: [DEBUG] 126 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Builtins.odoc -o /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Builtins.odocl -P lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc -L lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -L lascar.utils:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --current-package lascar --enable-missing-root-warning --warnings-tags lascar
odoc_driver_voodoo: [DEBUG] 127 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Conv.odoc -o /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Conv.odocl -P lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc -L lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -L lascar.utils:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --current-package lascar --enable-missing-root-warning --warnings-tags lascar
odoc_driver_voodoo: [DEBUG] 128 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Dfa.odoc -o /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Dfa.odocl -P lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc -L lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -L lascar.utils:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --current-package lascar --enable-missing-root-warning --warnings-tags lascar
odoc_driver_voodoo: [DEBUG] 129 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Fsm.odoc -o /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Fsm.odocl -P lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc -L lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -L lascar.utils:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --current-package lascar --enable-missing-root-warning --warnings-tags lascar
odoc_driver_voodoo: [DEBUG] 130 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Fsm_expr.odoc -o /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Fsm_expr.odocl -P lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc -L lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -L lascar.utils:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --current-package lascar --enable-missing-root-warning --warnings-tags lascar
odoc_driver_voodoo: [DEBUG] 131 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Lts.odoc -o /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Lts.odocl -P lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc -L lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -L lascar.utils:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --current-package lascar --enable-missing-root-warning --warnings-tags lascar
odoc_driver_voodoo: [DEBUG] 132 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Ltsa.odoc -o /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Ltsa.odocl -P lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc -L lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -L lascar.utils:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --current-package lascar --enable-missing-root-warning --warnings-tags lascar
odoc_driver_voodoo: [DEBUG] 133 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Mealy.odoc -o /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Mealy.odocl -P lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc -L lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -L lascar.utils:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --current-package lascar --enable-missing-root-warning --warnings-tags lascar
odoc_driver_voodoo: [DEBUG] 134 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Moore.odoc -o /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Moore.odocl -P lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc -L lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -L lascar.utils:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --current-package lascar --enable-missing-root-warning --warnings-tags lascar
odoc_driver_voodoo: [DEBUG] 135 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Nfa.odoc -o /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Nfa.odocl -P lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc -L lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -L lascar.utils:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --current-package lascar --enable-missing-root-warning --warnings-tags lascar
odoc_driver_voodoo: [DEBUG] 136 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Valuation.odoc -o /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Valuation.odocl -P lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc -L lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -L lascar.utils:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --current-package lascar --enable-missing-root-warning --warnings-tags lascar
odoc_driver_voodoo: [DEBUG] 137 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/page-index.odoc -o /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/page-index.odocl -L lascar.utils:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils --enable-missing-root-warning --warnings-tags lascar
odoc_driver_voodoo: [DEBUG] 138 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/utils.odoc -o /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/utils.odocl -P lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc -L lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -L lascar.utils:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --current-package lascar --enable-missing-root-warning --warnings-tags lascar
odoc_driver_voodoo: [DEBUG] 139 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils.odoc -o /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils.odocl -P lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc -L lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -L lascar.utils:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --current-package lascar --enable-missing-root-warning --warnings-tags lascar
odoc_driver_voodoo: [DEBUG] 140 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__Dot.odoc -o /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__Dot.odocl -P lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc -L lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -L lascar.utils:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --current-package lascar --enable-missing-root-warning --warnings-tags lascar
odoc_driver_voodoo: [DEBUG] 141 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__FilenameExt.odoc -o /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__FilenameExt.odocl -P lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc -L lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -L lascar.utils:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --current-package lascar --enable-missing-root-warning --warnings-tags lascar
odoc_driver_voodoo: [DEBUG] 142 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__ListExt.odoc -o /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__ListExt.odocl -P lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc -L lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -L lascar.utils:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --current-package lascar --enable-missing-root-warning --warnings-tags lascar
odoc_driver_voodoo: [DEBUG] 143 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__Misc.odoc -o /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__Misc.odocl -P lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc -L lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -L lascar.utils:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --current-package lascar --enable-missing-root-warning --warnings-tags lascar
odoc_driver_voodoo: [DEBUG] 144 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__Option.odoc -o /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__Option.odocl -P lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc -L lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -L lascar.utils:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --current-package lascar --enable-missing-root-warning --warnings-tags lascar
odoc_driver_voodoo: [DEBUG] 145 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__OrderedTypeExt.odoc -o /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__OrderedTypeExt.odocl -P lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc -L lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -L lascar.utils:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --current-package lascar --enable-missing-root-warning --warnings-tags lascar
odoc_driver_voodoo: [DEBUG] 146 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__SetExt.odoc -o /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__SetExt.odocl -P lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc -L lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -L lascar.utils:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --current-package lascar --enable-missing-root-warning --warnings-tags lascar
odoc_driver_voodoo: [DEBUG] 147 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__StringExt.odoc -o /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__StringExt.odocl -P lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc -L lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -L lascar.utils:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --current-package lascar --enable-missing-root-warning --warnings-tags lascar
odoc_driver_voodoo: [DEBUG] 148 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__Stringable.odoc -o /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__Stringable.odocl -P lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc -L lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -L lascar.utils:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --current-package lascar --enable-missing-root-warning --warnings-tags lascar
odoc_driver_voodoo: [DEBUG] 149 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__Tree.odoc -o /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__Tree.odocl -P lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc -L lascar:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar -L lascar.utils:/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -L stdlib:/home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ -I /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -I /home/opam/odoc-out/p/ocaml-base-compiler/4.14.4/doc/stdlib/ --current-package lascar --enable-missing-root-warning --warnings-tags lascar
odoc_driver_voodoo: [DEBUG] 150 - Executing: /home/opam/doc-tools/bin/odoc count-occurrences /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils -o /home/opam/odoc-out/p/lascar/0.6.0/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 151 - Executing: sherlodoc js /home/opam/html/sherlodoc.js
odoc_driver_voodoo: [DEBUG] 152 - Executing: /home/opam/doc-tools/bin/odoc compile-index -o _index/lascar/index.odoc-index --root /home/opam/odoc-out/p/lascar/0.6.0/doc --occurrences /home/opam/odoc-out/p/lascar/0.6.0/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 153 - Executing: /home/opam/doc-tools/bin/odoc sidebar-generate -o _index/lascar/sidebar.odoc-sidebar _index/lascar/index.odoc-index
odoc_driver_voodoo: [DEBUG] 154 - Executing: /home/opam/doc-tools/bin/odoc sidebar-generate --json -o /home/opam/html/p/lascar/0.6.0/doc/sidebar.json _index/lascar/index.odoc-index
odoc_driver_voodoo: [DEBUG] 155 - Executing: /home/opam/doc-tools/bin/odoc compile-index --json --simplified-json --wrap-json -o /home/opam/html/p/lascar/0.6.0/doc/index.js --root /home/opam/odoc-out/p/lascar/0.6.0/doc --occurrences /home/opam/odoc-out/p/lascar/0.6.0/occurrences-all.odoc-occurrences
odoc_driver_voodoo: [DEBUG] 156 - Executing: sherlodoc index --format js _index/lascar/index.odoc-index -o /home/opam/html/p/lascar/0.6.0/doc/sherlodoc_db.js
odoc_driver_voodoo: [DEBUG] 157 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lascar/0.6.0/doc/page-index.odocl --sidebar _index/lascar/sidebar.odoc-sidebar --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 158 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lascar/0.6.0/doc/src/page-index.odocl --sidebar _index/lascar/sidebar.odoc-sidebar --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 159 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/page-index.odocl --sidebar _index/lascar/sidebar.odoc-sidebar --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 160 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odocl --sidebar _index/lascar/sidebar.odoc-sidebar --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 161 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 162 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Builtins.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/builtins.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 163 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Conv.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/conv.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 164 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Dfa.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/dfa.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 165 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Fsm.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/fsm.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 166 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Fsm_expr.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/fsm_expr.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 167 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Lts.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lts.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 168 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Ltsa.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/ltsa.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 169 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Mealy.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/mealy.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 170 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Moore.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/moore.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 171 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Nfa.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/nfa.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 172 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Valuation.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/valuation.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 173 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/page-index.odocl --sidebar _index/lascar/sidebar.odoc-sidebar --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 174 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/utils.odocl --sidebar _index/lascar/sidebar.odoc-sidebar --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 175 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 176 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__Dot.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/dot.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 177 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__FilenameExt.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/filenameExt.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 178 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__ListExt.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/listExt.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 179 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__Misc.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/misc.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 180 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__Option.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/option.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 181 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__OrderedTypeExt.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/orderedTypeExt.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 182 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__SetExt.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/setExt.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 183 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__StringExt.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/stringExt.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 184 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__Stringable.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/stringable.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 185 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__Tree.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/tree.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index
odoc_driver_voodoo: [DEBUG] 186 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lascar/0.6.0/doc/src/page-index.odocl --sidebar _index/lascar/sidebar.odoc-sidebar --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 187 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lascar/0.6.0/doc/page-index.odocl --sidebar _index/lascar/sidebar.odoc-sidebar --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 188 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/page-index.odocl --sidebar _index/lascar/sidebar.odoc-sidebar --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 189 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lascar.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 190 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Builtins.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/builtins.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 191 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Dfa.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/dfa.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 192 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Conv.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/conv.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 193 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Fsm.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/fsm.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 194 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Fsm_expr.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/fsm_expr.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 195 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Mealy.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/mealy.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 196 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Lts.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/lts.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 197 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Moore.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/moore.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 198 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Ltsa.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/ltsa.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 199 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/page-index.odocl --sidebar _index/lascar/sidebar.odoc-sidebar --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 200 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Valuation.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/valuation.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 201 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/impl-lascar__Nfa.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/nfa.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 202 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/utils.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 203 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__Dot.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/dot.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 204 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__FilenameExt.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/filenameExt.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 205 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__ListExt.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/listExt.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 206 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__Misc.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/misc.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 207 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__Option.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/option.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 208 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__OrderedTypeExt.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/orderedTypeExt.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 209 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__SetExt.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/setExt.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 210 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__Stringable.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/stringable.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 211 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__StringExt.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/stringExt.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 212 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/utils.odocl --sidebar _index/lascar/sidebar.odoc-sidebar --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 213 - Executing: /home/opam/doc-tools/bin/odoc html-generate-source --impl /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/impl-utils__Tree.odocl --sidebar _index/lascar/sidebar.odoc-sidebar prep/universes/79700a9ee710cccfdb8a6150da04cac8/lascar/0.6.0/lib/lascar/utils/tree.ml --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 214 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odocl --sidebar _index/lascar/sidebar.odoc-sidebar --search-uri p/lascar/0.6.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json
odoc_driver_voodoo: [DEBUG] 215 - Executing: /home/opam/doc-tools/bin/odoc support-files -o /home/opam/html
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/utils.odoc: File "src/utils/setExt.mli", line 12, characters 21-33:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/utils.odoc: Warning: Failed to resolve reference unresolvedroot(Stdib).Set Couldn't find "Stdib"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/utils.odoc: File "src/utils/listExt.mli", line 90, characters 8-28:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/utils.odoc: Warning: Failed to resolve reference unresolvedroot(Pervasive).compare Couldn't find "Pervasive"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar.utils/utils.odoc: 
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/nfa.mli", line 150, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/nfa.mli", line 150, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: While resolving the expansion of include at File "src/lib/nfa.mli", line 33, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/nfa.mli", line 33, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/nfa.mli", line 33, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/nfa.mli", line 33, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/nfa.mli", line 33, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/nfa.mli", line 33, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/nfa.mli", line 33, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/moore.mli", line 28, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/moore.mli", line 28, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/mealy.mli", line 30, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/mealy.mli", line 30, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/ltsa.mli", line 368, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/ltsa.mli", line 336, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/ltsa.mli", line 305, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/ltsa.mli", line 264, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/lib/ltsa.mli", line 27, characters 21-39:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/lts.mli", line 276, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/lts.mli", line 236, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/fsm.mli", line 58, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/fsm.mli", line 58, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/dfa.mli", line 77, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/dfa.mli", line 77, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: While resolving the expansion of include at File "src/lib/nfa.mli", line 33, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/dfa.mli", line 77, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: While resolving the expansion of include at File "src/lib/dfa.mli", line 22, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/dfa.mli", line 77, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: While resolving the expansion of include at File "src/lib/dfa.mli", line 22, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: While resolving the expansion of include at File "src/lib/nfa.mli", line 33, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/nfa.mli", line 33, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/dfa.mli", line 22, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/dfa.mli", line 22, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: While resolving the expansion of include at File "src/lib/nfa.mli", line 33, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/nfa.mli", line 33, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/dfa.mli", line 22, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/dfa.mli", line 22, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: While resolving the expansion of include at File "src/lib/nfa.mli", line 33, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/nfa.mli", line 33, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/dfa.mli", line 22, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/dfa.mli", line 22, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: While resolving the expansion of include at File "src/lib/nfa.mli", line 33, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/nfa.mli", line 33, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/dfa.mli", line 22, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/dfa.mli", line 22, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: While resolving the expansion of include at File "src/lib/nfa.mli", line 33, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/nfa.mli", line 33, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/dfa.mli", line 22, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/dfa.mli", line 22, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: While resolving the expansion of include at File "src/lib/nfa.mli", line 33, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/nfa.mli", line 33, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/dfa.mli", line 22, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/dfa.mli", line 22, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: While resolving the expansion of include at File "src/lib/nfa.mli", line 33, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/conv.mli", line 69, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/conv.mli", line 69, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: While resolving the expansion of include at File "src/lib/fsm.mli", line 58, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/fsm.mli", line 58, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/conv.mli", line 55, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/conv.mli", line 55, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: While resolving the expansion of include at File "src/lib/moore.mli", line 28, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/mealy.mli", line 30, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/conv.mli", line 42, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/conv.mli", line 42, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: While resolving the expansion of include at File "src/lib/mealy.mli", line 30, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/moore.mli", line 28, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/conv.mli", line 33, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/conv.mli", line 33, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: While resolving the expansion of include at File "src/lib/nfa.mli", line 33, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/conv.mli", line 33, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: While resolving the expansion of include at File "src/lib/dfa.mli", line 22, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/conv.mli", line 33, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: While resolving the expansion of include at File "src/lib/dfa.mli", line 22, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: While resolving the expansion of include at File "src/lib/nfa.mli", line 33, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/nfa.mli", line 33, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/conv.mli", line 25, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: While resolving the expansion of include at File "src/lib/conv.mli", line 17, character 2
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: File "src/utils/tree.mli", line 46, characters 89-107:
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: Warning: Failed to resolve reference unresolvedroot(Dot).graph_style Couldn't find "Dot"
/home/opam/odoc-out/p/lascar/0.6.0/doc/lascar/lascar.odoc: 

=== STDERR ===

2026-06-24 20:20.16: OK: doc lascar.0.6.0 (runc: 35.2s, disk: 37879KB)
2026-06-24 20:20.16: Job succeeded