def lprod
import bend-collections-laws-math@1.0.0.0/spec/math/natural.bend as Naturalimport Base
87def lprod(xs: List<&2, Nat>) -> Nat:
88 match xs:
89 case Nil{}:
90 1n
91 case Con{x, t}:
92 Nat.mul(x, lprod(t))
import bend-collections-laws-math@1.0.0.0/spec/math/natural.bend as Naturalimport Base
87def lprod(xs: List<&2, Nat>) -> Nat:
88 match xs:
89 case Nil{}:
90 1n
91 case Con{x, t}:
92 Nat.mul(x, lprod(t))