def prod_go

bend-collections-laws-math@1.0.0.0 · src/math/natural.bend:103

import Base

103def prod_go(xs: List<&2, Nat>, +acc: Nat) -> Nat:
104  match xs:
105    case Nil{}:
106      acc
107    case Con{+x, rest}:
108      prod_go(rest, Nat.mul(acc, x))