Small patch in Int31Properties. Empty disjunctive pattern is not recognized.
Small patch in Int31Properties. Empty disjunctive pattern is not recognized.

maximedenes/native-coq,maximedenes/native-coq,maximedenes/native-coq