def Sum.value

bend-collections-laws-crypto@1.0.0.0 · spec/math/natural.bend:174

import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/natural.bend as M

174def Sum.value(+xs: List<&2, Nat>) -> Type:
175  {M.sum(xs) == lsum(xs) : Nat}