dune: build stdlib without injectivity annotations (#9932)
dune: build stdlib without injectivity annotations (#9932)


gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml