def gcd
import bend-collections-laws-math@1.0.0.0/src/math/natural.bend as Naturalimport Base
59def gcd(+a: Nat, +b: Nat) -> Nat:
60 gcd_go(b, a, b)
Uses (2)
Used by (77)
- bend-collections-laws-math@1.0.0.0/src/math/instances:u64_op
- bend-collections-laws-math@1.0.0.0/src/math/natural:lcm
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/bgcdnat:nbloop
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/combnat:gg
- bend-collections-laws-math@1.0.0.0/proofs/math/natural/gcd:gcd_dvd_left
- …