coq2rust
coq2rust copied to clipboard
Compilation Failed
$ ocaml -version
The OCaml toplevel, version 4.04.0
$ ./configure -local
$ ./compile.sh
File "lib/hMap.ml", line 1:
Error: The implementation lib/hMap.ml
does not match the interface lib/hMap.cmi:
...
At position module Make(M) : <here>
The value `union' is required but not provided
make[1]: *** [lib/hMap.cmo] Error 2
make: *** [submake] Error 2
Getting the same error, bumping for interest.
$ ocaml -version
The OCaml toplevel, version 4.05.0