-
Jacques-Henri Jourdan authored
Instead, we convert the int31 to Z, and perform pattenr matching in Z. The reason for that change is that pattern-matching on int31 will disappear when native 63 bits integers will be introduced in Coq.
d05676b3
Instead, we convert the int31 to Z, and perform pattenr matching in Z. The reason for that change is that pattern-matching on int31 will disappear when native 63 bits integers will be introduced in Coq.