def vals

bend-collections-laws-crypto@1.0.0.0 · spec/math/generic.bend:105

import Base

105def vals(~T: Data, ~val: T -> Nat, xs: List<&2, T>) -> List<&2, Nat>:
106  match xs:
107    case Nil{}:
108      Nil{}
109    case Con{x, t}:
110      Con{val(x), vals(~T, ~val, t)}