def gcd_all_go
import bend-collections-laws-math@1.0.0.0/src/math/natural.bend as Naturalimport Base
71def gcd_all_go(xs: List<&2, Nat>, +acc: Nat) -> Nat:
72 match xs:
73 case Nil{}:
74 acc
75 case Con{+x, rest}:
76 gcd_all_go(rest, gcd(acc, x))
Uses (3)
Used by (8)
- bend-collections-laws-math@1.0.0.0/src/math/natural:gcd_all
- bend-collections-laws-math@1.0.0.0/proofs/math/natural/lists:g_acc
- bend-collections-laws-math@1.0.0.0/proofs/math/natural/lists:g_dvd
- bend-collections-laws-math@1.0.0.0/proofs/math/natural/lists:g_nth
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/u32int:gall
- …