type Bezout
import bend-collections@1.0.0.0/src/math/natural.bend as Naturalimport Base
38# the last nonzero remainder of the extended Euclid loop and its
39# coefficient: a * coef == gcd (mod m)
40type Bezout is Data:
41 BZ{gcd: Nat, coef: Nat}
import bend-collections@1.0.0.0/src/math/natural.bend as Naturalimport Base
38# the last nonzero remainder of the extended Euclid loop and its
39# coefficient: a * coef == gcd (mod m)
40type Bezout is Data:
41 BZ{gcd: Nat, coef: Nat}