type QuotRem

bend-collections-laws-math@1.0.0.0 · src/math/natural.bend:43

import Base

43# a // b and a % b
44type QuotRem is Data:
45  QR{quot: Nat, rem: Nat}