def sum
import bend-collections@1.0.0.0/src/math/natural.bend as Naturalimport Base
100def sum(xs: List<&2, Nat>) -> Nat:
101 sum_go(xs, 0n)
Uses (3)
Used by (0)
No other definition uses this definition.
import bend-collections@1.0.0.0/src/math/natural.bend as Naturalimport Base
100def sum(xs: List<&2, Nat>) -> Nat:
101 sum_go(xs, 0n)
No other definition uses this definition.