def prod
import bend-collections-laws-crypto@1.0.0.0/src/math/natural.bend as Naturalimport Base
110def prod(xs: List<&2, Nat>) -> Nat:
111 prod_go(xs, 1n)
import bend-collections-laws-crypto@1.0.0.0/src/math/natural.bend as Naturalimport Base
110def prod(xs: List<&2, Nat>) -> Nat:
111 prod_go(xs, 1n)