def vals

bend-collections-laws-math@1.0.0.0 · proofs/math/typed/u32int.bend:190

import Base
import bend-collections-laws-math@1.0.0.0/spec/math/generic.bend as SG

190def vals(xs: List<&2, U32>) -> List<&2, Nat>:
191  SG.vals(~U32, ~SG.u32_val, xs)