(lint-doc)

2025-07-04 15:14.23: New job: test ocaml-gospel/gospel https://github.com/ocaml-gospel/gospel.git#refs/pull/449/head (d97881e731e3fd7aa460fd79690b7dcf872170f6) (linux-x86_64:(lint-doc))
Base: ocaml/opam:alpine-3.21-ocaml-4.14@sha256:2a715c092c4ab201120243e7efc44191d8c5aef3c1bf63ab56cfedfe3a662ad3
Opam project lint documentation


To reproduce locally:


git clone --recursive "https://github.com/ocaml-gospel/gospel.git" && cd "gospel" && git fetch origin "refs/pull/449/head" && git reset --hard d97881e7
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:alpine-3.21-ocaml-4.14@sha256:2a715c092c4ab201120243e7efc44191d8c5aef3c1bf63ab56cfedfe3a662ad3
# alpine-3.21-4.14_opam-2.3
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
WORKDIR /src
RUN sudo ln -f /usr/bin/opam-2.2 /usr/bin/opam
RUN opam init --reinit -ni
RUN uname -rs && opam exec -- ocaml -version && opam --version
WORKDIR /src
RUN sudo chown opam /src
RUN cd ~/opam-repository && (git cat-file -e 382e02b4c17b5b59d503254784ac3a5d78916d5a || git fetch origin master) && git reset -q --hard 382e02b4c17b5b59d503254784ac3a5d78916d5a && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 gospel.opam ./
RUN opam pin add -yn gospel.dev './'
RUN echo '(lang dune 3.0)' > './dune-project'
ENV DEPS="astring.0.8.5 base-bigarray.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 cppo.1.8.0 crunch.4.0.0 dune.3.19.1 dune-build-info.3.19.1 fmt.0.10.0 fpath.0.7.3 inferno.20220603 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 odoc.3.0.0 odoc-parser.3.0.0 pp_loc.2.1.0 pprint.20230830 ppx_blob.0.9.0 ppx_derivers.1.2.1 ppx_deriving.6.1.0 ppxlib.0.36.0 ptime.1.2.0 re.1.13.2 result.1.5 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.0.8 tyxml.4.6.0 unionFind.20220122 uutf.1.0.4 yojson.3.0.0"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.2 --depext-only -y gospel.dev $DEPS
RUN opam install $DEPS
RUN opam install --yes dune 'odoc>=1.5.0'
COPY --chown=1000:1000 . /src/
RUN ODOC_WARN_ERROR=false opam exec -- dune build @doc || (echo "dune build @doc failed"; exit 2)


END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK


2025-07-04 15:14.23: Using cache hint "ocaml-gospel/gospel-ocaml/opam:alpine-3.21-ocaml-4.14@sha256:2a715c092c4ab201120243e7efc44191d8c5aef3c1bf63ab56cfedfe3a662ad3-alpine-3.21-4.14_opam-2.3-7d3bb2002c01e19e07a33fdeb771e71f"
2025-07-04 15:14.23: Using OBuilder spec:
((from ocaml/opam:alpine-3.21-ocaml-4.14@sha256:2a715c092c4ab201120243e7efc44191d8c5aef3c1bf63ab56cfedfe3a662ad3)
(comment alpine-3.21-4.14_opam-2.3)
(user (uid 1000) (gid 1000))
(env CLICOLOR_FORCE 1)
(env OPAMCOLOR always)
(workdir /src)
(run (shell "sudo ln -f /usr/bin/opam-2.2 /usr/bin/opam"))
(run (shell "opam init --reinit -ni"))
(run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
(workdir /src)
(run (shell "sudo chown opam /src"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 382e02b4c17b5b59d503254784ac3a5d78916d5a || git fetch origin master) && git reset -q --hard 382e02b4c17b5b59d503254784ac3a5d78916d5a && git log --no-decorate -n1 --oneline && opam update -u"))
(copy (src gospel.opam) (dst ./))
(run (network host)
(shell "opam pin add -yn gospel.dev './'"))
(run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
(env DEPS "astring.0.8.5 base-bigarray.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 cppo.1.8.0 crunch.4.0.0 dune.3.19.1 dune-build-info.3.19.1 fmt.0.10.0 fpath.0.7.3 inferno.20220603 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 odoc.3.0.0 odoc-parser.3.0.0 pp_loc.2.1.0 pprint.20230830 ppx_blob.0.9.0 ppx_derivers.1.2.1 ppx_deriving.6.1.0 ppxlib.0.36.0 ptime.1.2.0 re.1.13.2 result.1.5 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.0.8 tyxml.4.6.0 unionFind.20220122 uutf.1.0.4 yojson.3.0.0")
(env CI true)
(env OCAMLCI true)
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.2 --depext-only -y gospel.dev $DEPS"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install --yes dune 'odoc>=1.5.0'"))
(copy (src .) (dst /src/))
(run (shell "ODOC_WARN_ERROR=false opam exec -- dune build @doc || (echo \"dune build @doc failed\"; exit 2)"))
)


2025-07-04 15:14.23: Waiting for resource in pool OCluster
2025-07-04 17:30.22: Waiting for worker…
2025-07-04 17:34.05: Got resource from pool OCluster
Building on laodoke.caelum.ci.dev
All commits already cached
HEAD is now at d97881e Update change log


(from ocaml/opam:alpine-3.21-ocaml-4.14@sha256:2a715c092c4ab201120243e7efc44191d8c5aef3c1bf63ab56cfedfe3a662ad3)
2025-07-04 17:34.06 ---> using "cae3f84721b1d1626d38afde4577807843a0da8ba3807fc3f5f4606864be9e98" from cache


/: (comment alpine-3.21-4.14_opam-2.3)


/: (user (uid 1000) (gid 1000))


/: (env CLICOLOR_FORCE 1)


/: (env OPAMCOLOR always)


/: (workdir /src)


/src: (run (shell "sudo ln -f /usr/bin/opam-2.2 /usr/bin/opam"))
2025-07-04 17:34.06 ---> using "97da814219561b6495e4f91a5720e950e1146f08f3e65eb0f6762e4ae273cd54" from cache


/src: (run (shell "opam init --reinit -ni"))
Configuring from /home/opam/.opamrc and then from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.


This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.


Continue? [y/n] y
[NOTE] The 'jobs' option was reset, its value was 255 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using:
opam option jobs=255 --global
Format upgrade done.


<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2025-07-04 17:34.06 ---> using "86f45a7e2368db5fa7485019a1c8f7a49b6f53b96e1a96ab1fb9448873d4bc05" from cache


/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 5.15.0-142-generic
The OCaml toplevel, version 4.14.2
2.2.1
2025-07-04 17:34.06 ---> using "3eedd80b70838925d21433b6c8f824a77394d95b51be2c32b594251313a2bc97" from cache


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2025-07-04 17:34.06 ---> using "86082a16f7d5bfb7953bdc073375569a575d01b10811b773e1dc9d4c0f0a5b98" from cache


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 382e02b4c17b5b59d503254784ac3a5d78916d5a || git fetch origin master) && git reset -q --hard 382e02b4c17b5b59d503254784ac3a5d78916d5a && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch                  master     -> FETCH_HEAD
bc726805e3..ee56c84f60  master     -> origin/master
382e02b4c1 Merge pull request #28124 from kit-ty-kate/opam-publish-re.1.13.2


<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from git+file:///home/opam/opam-repository


Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).
However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
# Run eval $(opam env) to update the current shell environment
2025-07-04 17:34.06 ---> using "8478bf5e5ed4b1267d3a5facd94901ec71fc38778c075483fe0c2a2c10078b50" from cache


/src: (copy (src gospel.opam) (dst ./))
2025-07-04 17:34.06 ---> saved as "4bd22f011743deafbb025fd2fbb8344908e519a84f7be0e57424695353260845"


/src: (run (network host)
(shell "opam pin add -yn gospel.dev './'"))
[gospel.dev] synchronised (file:///src)
gospel is now pinned to file:///src (version dev)
2025-07-04 17:34.11 ---> saved as "53a907cb240da31035e7a24cabedd07d8c2d9d5ee74577a22280465ade409159"


/src: (run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
2025-07-04 17:34.12 ---> saved as "07013947740a67b1cf891fd0d60eaa626fd7436e48f6fd95bc9a891c197f3f9e"


/src: (env DEPS "astring.0.8.5 base-bigarray.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 cppo.1.8.0 crunch.4.0.0 dune.3.19.1 dune-build-info.3.19.1 fmt.0.10.0 fpath.0.7.3 inferno.20220603 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 odoc.3.0.0 odoc-parser.3.0.0 pp_loc.2.1.0 pprint.20230830 ppx_blob.0.9.0 ppx_derivers.1.2.1 ppx_deriving.6.1.0 ppxlib.0.36.0 ptime.1.2.0 re.1.13.2 result.1.5 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.0.8 tyxml.4.6.0 unionFind.20220122 uutf.1.0.4 yojson.3.0.0")


/src: (env CI true)


/src: (env OCAMLCI true)


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.2 --depext-only -y gospel.dev $DEPS"))
+ /usr/bin/sudo "apk" "update"
- fetch https://dl-cdn.alpinelinux.org/alpine/v3.21/main/x86_64/APKINDEX.tar.gz
- fetch https://dl-cdn.alpinelinux.org/alpine/v3.21/community/x86_64/APKINDEX.tar.gz
- fetch https://dl-cdn.alpinelinux.org/alpine/edge/main/x86_64/APKINDEX.tar.gz
- fetch https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz
- fetch https://dl-cdn.alpinelinux.org/alpine/edge/testing/x86_64/APKINDEX.tar.gz
- v3.21.3-626-g91d0df3d1c9 [https://dl-cdn.alpinelinux.org/alpine/v3.21/main]
- v3.21.3-626-g91d0df3d1c9 [https://dl-cdn.alpinelinux.org/alpine/v3.21/community]
- v3.23.0_alpha20250612-1543-gfac967521fa [https://dl-cdn.alpinelinux.org/alpine/edge/main]
- v3.23.0_alpha20250612-1549-g2be3ae90d42 [https://dl-cdn.alpinelinux.org/alpine/edge/community]
- v3.23.0_alpha20250612-1549-g2be3ae90d42 [https://dl-cdn.alpinelinux.org/alpine/edge/testing]
- OK: 58978 distinct packages available


<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[gospel.dev] synchronised (file:///src)


[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 2).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).
[NOTE] Package ocaml is already installed (current version is 4.14.2).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
2025-07-04 17:34.36 ---> saved as "a62ba43eb7e67bfc50acbb4e43c73c3cf4428e0c860f01cef7eb8709f4e29cbf"


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 2).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).
[NOTE] Package ocaml is already installed (current version is 4.14.2).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
The following actions will be performed:
=== install 36 packages
- install astring             0.8.5
- install camlp-streams       5.0.1
- install cmdliner            1.3.0
- install cppo                1.8.0
- install crunch              4.0.0
- install dune                3.19.1
- install dune-build-info     3.19.1
- install fmt                 0.10.0
- install fpath               0.7.3
- install inferno             20220603
- install menhir              20240715
- install menhirCST           20240715
- install menhirLib           20240715
- install menhirSdk           20240715
- install ocaml-compiler-libs v0.12.4
- install ocamlbuild          0.16.1
- install ocamlfind           1.9.8
- install odoc                3.0.0
- install odoc-parser         3.0.0
- install pp_loc              2.1.0
- install pprint              20230830
- install ppx_blob            0.9.0
- install ppx_derivers        1.2.1
- install ppx_deriving        6.1.0
- install ppxlib              0.36.0
- install ptime               1.2.0
- install re                  1.13.2
- install result              1.5
- install seq                 base
- install sexplib0            v0.17.0
- install stdlib-shims        0.3.0
- install topkg               1.0.8
- install tyxml               4.6.0
- install unionFind           20220122
- install uutf                1.0.4
- install yojson              3.0.0


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved astring.0.8.5  (cached)
-> retrieved camlp-streams.5.0.1  (cached)
-> retrieved cmdliner.1.3.0  (cached)
-> retrieved cppo.1.8.0  (cached)
-> retrieved crunch.4.0.0  (cached)
-> retrieved fpath.0.7.3  (cached)
-> retrieved fmt.0.10.0  (cached)
-> retrieved menhir.20240715, menhirCST.20240715, menhirLib.20240715, menhirSdk.20240715  (cached)
-> retrieved inferno.20220603  (https://opam.ocaml.org/cache)
-> retrieved ocaml-compiler-libs.v0.12.4  (cached)
-> retrieved ocamlbuild.0.16.1  (cached)
-> retrieved ocamlfind.1.9.8  (cached)
-> retrieved pp_loc.2.1.0  (cached)
-> retrieved pprint.20230830  (cached)
-> retrieved ppx_blob.0.9.0  (cached)
-> retrieved dune.3.19.1, dune-build-info.3.19.1  (cached)
-> retrieved odoc.3.0.0, odoc-parser.3.0.0  (cached)
-> retrieved ppx_derivers.1.2.1  (cached)
-> retrieved ppx_deriving.6.1.0  (cached)
-> retrieved ptime.1.2.0  (cached)
-> retrieved re.1.13.2  (cached)
-> retrieved seq.base  (cached)
-> installed cmdliner.1.3.0
-> installed seq.base
-> retrieved result.1.5  (cached)
-> retrieved sexplib0.v0.17.0  (cached)
-> retrieved stdlib-shims.0.3.0  (cached)
-> retrieved ppxlib.0.36.0  (cached)
-> retrieved topkg.1.0.8  (cached)
-> retrieved tyxml.4.6.0  (cached)
-> retrieved unionFind.20220122  (cached)
-> retrieved uutf.1.0.4  (cached)
-> retrieved yojson.3.0.0  (cached)
-> installed ocamlbuild.0.16.1
-> installed ocamlfind.1.9.8
-> installed topkg.1.0.8
-> installed uutf.1.0.4
-> installed fmt.0.10.0
-> installed ptime.1.2.0
-> installed astring.0.8.5
-> installed fpath.0.7.3
-> installed dune.3.19.1
-> installed camlp-streams.5.0.1
-> installed crunch.4.0.0
-> installed cppo.1.8.0
-> installed menhirCST.20240715
-> installed ppx_derivers.1.2.1
-> installed stdlib-shims.0.3.0
-> installed result.1.5
-> installed menhirSdk.20240715
-> installed pp_loc.2.1.0
-> installed pprint.20230830
-> installed unionFind.20220122
-> installed sexplib0.v0.17.0
-> installed menhirLib.20240715
-> installed dune-build-info.3.19.1
-> installed inferno.20220603
-> installed odoc-parser.3.0.0
-> installed re.1.13.2
-> installed ocaml-compiler-libs.v0.12.4
-> installed yojson.3.0.0
-> installed tyxml.4.6.0
-> installed odoc.3.0.0
-> installed menhir.20240715
-> installed ppxlib.0.36.0
-> installed ppx_blob.0.9.0
-> installed ppx_deriving.6.1.0
Done.
# Run eval $(opam env) to update the current shell environment
2025-07-04 17:38.01 ---> saved as "d7e682f2752f665fae48bd9f4f484b38f6a6f0f537a0e449d8ad032f020b2141"


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install --yes dune 'odoc>=1.5.0'"))
[NOTE] Package odoc is already installed (current version is 3.0.0).
[NOTE] Package dune is already installed (current version is 3.19.1).
2025-07-04 17:38.06 ---> saved as "8b07d838a787ce4367a6af5887a3f2f771a3eaa23b6623215b4358d366f89643"


/src: (copy (src .) (dst /src/))
2025-07-04 17:38.07 ---> saved as "7f5fe2ba6030ec9eda966d56401c03a3f1b68cf35e8bea75e6551e146d88da5f"


/src: (run (shell "ODOC_WARN_ERROR=false opam exec -- dune build @doc || (echo \"dune build @doc failed\"; exit 2)"))
(cd _build/default/docs/stdlib/.gospelstdlib.objs/byte && /home/opam/.opam/4.14/bin/odoc compile -I . -I ../../../../_doc/_odoc/pkg/gospel --pkg gospel -o gospelstdlib.odoc gospelstdlib.cmti)
File "../../stdlib/gospelstdlib.mli", line 31, character 6 to line 33, character 38:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 32, character 6 to line 34, character 39:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 33, character 6 to line 35, character 31:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 41, character 6 to line 43, character 43:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 43, character 6 to line 45, character 44:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 47, character 6 to line 49, character 51:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 49, character 6 to line 51, character 51:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 51, character 6 to line 53, character 23:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 54, character 6 to line 56, character 18:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 57, character 6 to line 59, character 18:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 60, character 6 to line 62, character 21:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 62, character 6 to line 64, character 41:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 63, character 6 to line 65, character 32:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 65, character 6 to line 67, character 34:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 74, character 6 to line 76, character 43:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 75, character 6 to line 77, character 43:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 77, character 6 to line 79, character 43:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 78, character 6 to line 80, character 44:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 79, character 6 to line 81, character 44:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 80, character 6 to line 82, character 46:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 81, character 6 to line 83, character 44:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 82, character 6 to line 84, character 44:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 84, character 6 to line 86, character 44:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 85, character 6 to line 87, character 41:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 87, character 6 to line 89, character 45:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 88, character 6 to line 90, character 45:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 92, character 6 to line 94, character 35:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 93, character 6 to line 95, character 36:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 94, character 6 to line 96, character 35:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 95, character 6 to line 97, character 36:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 99, character 6 to line 101, character 54:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 102, character 6 to line 104, character 55:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 105, character 6 to line 107, character 82:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 106, character 6 to line 108, character 66:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 107, character 6 to line 109, character 66:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 109, character 6 to line 111, character 59:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 111, character 6 to line 117, character 52:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 117, character 6 to line 119, character 64:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 119, character 6 to line 125, character 38:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 126, character 8 to line 128, character 30:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 129, character 8 to line 131, character 41:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 132, character 8 to line 134, character 50:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 134, character 8 to line 138, character 45:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 138, character 8 to line 142, character 24:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 142, character 8 to line 147, character 37:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 147, character 8 to line 152, character 29:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 152, character 8 to line 157, character 37:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 157, character 8 to line 162, character 41:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 162, character 8 to line 164, character 28:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 165, character 8 to line 167, character 44:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 167, character 8 to line 169, character 59:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 171, character 8 to line 176, character 32:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 176, character 8 to line 180, character 44:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 180, character 8 to line 182, character 40:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 183, character 8 to line 188, character 33:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 188, character 8 to line 190, character 44:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 192, character 8 to line 196, character 40:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 196, character 8 to line 198, character 44:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 200, character 8 to line 204, character 40:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 204, character 8 to line 206, character 33:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 208, character 8 to line 212, character 22:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 212, character 8 to line 214, character 35:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 216, character 8 to line 220, character 25:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 220, character 8 to line 222, character 53:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 223, character 8 to line 227, character 34:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 227, character 8 to line 231, character 48:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 231, character 8 to line 236, character 30:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 236, character 8 to line 241, character 42:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 241, character 8 to line 243, character 57:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 244, character 8 to line 248, character 35:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 248, character 8 to line 252, character 59:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 252, character 8 to line 257, character 58:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 257, character 8 to line 261, character 44:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 261, character 8 to line 263, character 38:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 264, character 8 to line 268, character 43:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 268, character 8 to line 270, character 59:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 271, character 8 to line 277, character 4:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 277, character 8 to line 279, character 59:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 281, character 8 to line 286, character 39:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 286, character 8 to line 288, character 50:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 290, character 8 to line 295, character 34:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 295, character 8 to line 297, character 55:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 299, character 8 to line 304, character 29:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 304, character 8 to line 306, character 64:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 308, character 8 to line 313, character 33:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 313, character 8 to line 315, character 47:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 316, character 8 to line 320, character 25:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 320, character 8 to line 322, character 56:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 324, character 8 to line 329, character 29:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 329, character 8 to line 336, character 35:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 336, character 8 to line 338, character 36:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 340, character 8 to line 344, character 36:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 344, character 8 to line 349, character 43:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 349, character 8 to line 355, character 18:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 355, character 8 to line 357, character 70:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 359, character 8 to line 363, character 38:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 363, character 8 to line 367, character 63:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 367, character 8 to line 369, character 71:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 371, character 8 to line 375, character 39:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 375, character 8 to line 379, character 65:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 379, character 8 to line 381, character 47:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 383, character 8 to line 388, character 44:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 388, character 8 to line 390, character 79:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 392, character 8 to line 400, character 4:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 404, character 8 to line 406, character 25:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 407, character 8 to line 409, character 55:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 410, character 8 to line 414, character 32:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 414, character 8 to line 416, character 28:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 417, character 8 to line 421, character 35:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 421, character 8 to line 423, character 47:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 425, character 8 to line 429, character 48:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 429, character 8 to line 431, character 38:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 432, character 8 to line 436, character 43:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 436, character 8 to line 438, character 44:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 439, character 8 to line 443, character 58:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 443, character 8 to line 447, character 56:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 447, character 8 to line 449, character 40:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 450, character 8 to line 454, character 36:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 454, character 8 to line 456, character 47:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 457, character 8 to line 461, character 69:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 461, character 8 to line 466, character 57:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 466, character 8 to line 468, character 41:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 470, character 8 to line 475, character 40:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 475, character 8 to line 477, character 39:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 479, character 8 to line 484, character 38:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 484, character 8 to line 486, character 41:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 488, character 8 to line 493, character 38:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 493, character 8 to line 495, character 38:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 496, character 8 to line 501, character 49:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 501, character 8 to line 503, character 40:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 505, character 8 to line 510, character 39:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 510, character 8 to line 512, character 36:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 514, character 8 to line 519, character 61:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 519, character 8 to line 521, character 55:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 522, character 8 to line 527, character 57:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 527, character 8 to line 532, character 42:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 532, character 8 to line 534, character 44:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 536, character 8 to line 538, character 34:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 539, character 8 to line 546, character 31:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 546, character 8 to line 550, character 26:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 550, character 8 to line 552, character 44:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 552, character 8 to line 556, character 37:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 556, character 8 to line 562, character 61:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 562, character 8 to line 567, character 45:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 567, character 8 to line 572, character 45:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 572, character 8 to line 574, character 48:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 576, character 8 to line 580, character 64:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 582, character 8 to line 584, character 25:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 585, character 8 to line 587, character 28:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 588, character 8 to line 590, character 38:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 591, character 8 to line 595, character 26:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 595, character 8 to line 597, character 44:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 598, character 8 to line 602, character 26:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 602, character 8 to line 607, character 40:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 607, character 8 to line 609, character 40:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 610, character 8 to line 612, character 47:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 613, character 8 to line 617, character 35:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 617, character 8 to line 622, character 43:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 622, character 8 to line 624, character 41:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 625, character 8 to line 630, character 29:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 630, character 8 to line 636, character 33:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 636, character 8 to line 638, character 41:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 639, character 8 to line 645, character 29:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 645, character 8 to line 650, character 33:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 650, character 8 to line 652, character 38:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 653, character 8 to line 657, character 47:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 657, character 8 to line 659, character 40:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 660, character 8 to line 665, character 34:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 665, character 8 to line 670, character 42:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 670, character 8 to line 672, character 36:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 673, character 8 to line 678, character 44:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 678, character 8 to line 680, character 50:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 682, character 8 to line 687, character 43:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 687, character 8 to line 689, character 67:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 692, character 8 to line 699, character 19:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 699, character 8 to line 706, character 19:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 706, character 8 to line 708, character 44:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 709, character 8 to line 711, character 34:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 711, character 8 to line 718, character 33:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 718, character 8 to line 722, character 26:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 722, character 8 to line 724, character 48:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 724, character 8 to line 731, character 51:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 731, character 8 to line 737, character 53:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 737, character 8 to line 739, character 48:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 740, character 8 to line 744, character 60:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 744, character 8 to line 746, character 48:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 748, character 8 to line 754, character 52:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 754, character 8 to line 756, character 83:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 759, character 8 to line 767, character 74:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 768, character 6 to line 770, character 64:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 772, character 6 to line 778, character 58:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 782, character 8 to line 784, character 37:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 784, character 8 to line 786, character 65:
Warning: Code blocks should be indented at the opening `{`.
File "../../stdlib/gospelstdlib.mli", line 788, character 8 to line 793, character 39:
Warning: Code blocks should be indented at the opening `{`.
(cd _build/default/_doc/_html && /home/opam/.opam/4.14/bin/odoc link -I ../_odoc/pkg/gospel -I ../../dev_tools/.gospel.objs/byte -I ../../docs/stdlib/.gospelstdlib.objs/byte -I ../../src/.gospel_checker.objs/byte -I ../../src/ppx_odoc_of_gospel/.ppx_odoc_of_gospel.objs/byte -o ../_odocls/gospel/gospelstdlib.odocl ../../docs/stdlib/.gospelstdlib.objs/byte/gospelstdlib.odoc)
File "../../stdlib/gospelstdlib.mli", line 127, characters 20-31:
Warning: Failed to resolve reference unresolvedroot(sequence) Couldn't find "sequence"
2025-07-04 17:38.25 ---> saved as "1ce7f405253ed07cbc4ab2d404805de4572e191a74433118cec4abb6bd0b3784"
Job succeeded
2025-07-04 17:38.25: Job succeeded