def nats

bend-collections-laws-math@1.0.0.0 · spec/math/fixed.bend:208

import Base

208def nats(xs: List<&2, U32>) -> List<&2, Nat>:
209  match xs:
210    case Nil{}:
211      Nil{}
212    case Con{x, t}:
213      Con{U32.to_nat(x), nats(t)}