Closed polytypic closed 1 year ago
This PR removes two uses of Seq.length allowing Kcas to build on OCaml 4.13.
Seq.length
The next step would be to remove uses of Int.min and Int.max allowing Kcas to build on OCaml 4.12.
Int.min
Int.max
This PR removes two uses of
Seq.length
allowing Kcas to build on OCaml 4.13.The next step would be to remove uses of
Int.min
andInt.max
allowing Kcas to build on OCaml 4.12.