def gcd_all_go
import bend-collections-laws-math@1.0.0.0/src/math/generic.bend as Genericimport Base
import bend-collections-laws-math@1.0.0.0/src/math/num.bend as N
326def gcd_all_go(~T: Data, ~op: N.Op<T> -> T, ~test: N.Test<T> -> Bool, xs: List<&2, T>, +acc: T) -> T:
327 match xs:
328 case Nil{}:
329 acc
330 case Con{+x, rest}:
331 gcd_all_go(~T, ~op, ~test, rest, gcd(~T, ~op, ~test, acc, x))
Uses (5)
Used by (5)
- bend-collections-laws-math@1.0.0.0/src/math/generic:gcd_all
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/u32int:gall
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/u64int:gall
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/u32int:gcd_all_agrees
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/u64int:gcd_all_agrees