Remove polymorphism from As_prover.t, hoist Typ.t
#451
Annotations
2 warnings
|
Post Use OCaml 4.14.0
Unexpected input(s) 'disable-cache', valid inputs are ['allow-prerelease-opam', 'ocaml-compiler', 'opam-repositories', 'opam-pin', 'opam-local-packages', 'opam-disable-sandboxing', 'dune-cache', 'cache-prefix', 'github-token']
|
|
Use OCaml 4.14.0
Unexpected input(s) 'disable-cache', valid inputs are ['allow-prerelease-opam', 'ocaml-compiler', 'opam-repositories', 'opam-pin', 'opam-local-packages', 'opam-disable-sandboxing', 'dune-cache', 'cache-prefix', 'github-token']
|
Loading