def Nat.div
import Base805def Nat.div(a: Nat, b: Nat) -> Nat:
806 Pair.fst(Nat, Nat, Nat.divmod(a, b))
Uses (3)
Used by (1052)
- bend-collections-laws-math@1.0.0.0/src/math/natural:isqrt
- bend-collections-laws-crypto@1.0.0.0/src/crypto/sha/packed/core:len_hi
- bend-collections-laws-crypto@1.0.0.0/src/crypto/sha/packed/core:len_lo
- bend-collections@1.0.0.0/src/crypto/sha/packed/core:len_hi
- bend-collections@1.0.0.0/src/crypto/sha/packed/core:len_lo
- …