~/jendhub

def Nat.mod

Base · base.bend:808

import Base
808def Nat.mod(a: Nat, b: Nat) -> Nat:
809  Pair.snd(Nat, Nat, Nat.divmod(a, b))

Uses (3)

Used by (1364)