def lw_acc

bend-collections-laws-math@1.0.0.0 · proofs/math/natural/lists.bend:125

import Base
import bend-collections-laws-math@1.0.0.0/src/math/natural.bend as M
import bend-collections-laws-math@1.0.0.0/proofs/math/natural/lcm.bend as LC

125def lw_acc(+xs: List<&2, Nat>, +acc: Nat) -> Nat:
126  match xs:
127    case Nil{}:
128      1n
129    case Con{+x, +t}:
130      Nat.mul(lw_acc(t, M.lcm(acc, x)), LC.lcm_wl(acc, x))