Skip to content
Snippets Groups Projects

Future proof rotate_nat_add_add_mod

Merged Andrej Dudenhefner requested to merge mrhaandi/stdpp:mod-uniform into master

This prepares rotate_nat_add_add_mod for https://github.com/coq/coq/pull/14086 in a backwards compatible manner. Crucially, the design decision n mod 0 = 0 could change to n mod 0 = n in future. This merge request makes rotate_nat_add_add_mod agnostic of the particular design decision.

Edited by Andrej Dudenhefner

Merge request reports

Loading
Loading

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
Please register or sign in to reply
Loading