def factorial_go

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

import Base

115def factorial_go(n: Nat, +acc: Nat) -> Nat:
116  match n:
117    case 0n:
118      acc
119    case 1n+ +p:
120      factorial_go(p, Nat.mul(1n+p, acc))