def eg_gcd

bend-collections-laws-math@1.0.0.0 · spec/math/number.bend:32

import Base
import bend-collections-laws-math@1.0.0.0/src/math/number.bend as NB

32# the gcd of the extended algorithm is the proved reference's
33def eg_gcd(r: NB.EGcd) -> Nat:
34  match r:
35    case NB.EG{g, x, y, neg}:
36      g