Skip to content

chore: define udiv normal form to be /, resp. umod and % #4513

chore: define udiv normal form to be /, resp. umod and %

chore: define udiv normal form to be /, resp. umod and % #4513

Annotations

1 warning

Backport

succeeded Oct 8, 2024 in 3s