def nbin

import bend-collections-laws-math@1.0.0.0/proofs/math/typed/bgcdnat.bend as Bgcdnat

import Base

257def nbin(+a: Nat, +b: Nat) -> Nat:
258  nrb(a, b, iz(b))

Uses (3)