Commit 2023-03-08 13:41 54b6e6b5

View on Github →

feat: add norm_num extension for the modulo operation for (#2241) This PR adds a norm_num extension for computing the modulo operation (i.e. %) over . This is a straightforward modification of the corresponding extension for nat subtraction.

Estimated changes