def nats

lawful-fields@0.1.1.0 · defs.bend:180

import Base

180# The numbers words stand for.
181def nats(es: List<&2, U32>) -> List<&2, Nat>:
182  match es:
183    case Nil{}:
184      Nil{}
185    case Con{e, t}:
186      Con{U32.to_nat(e), nats(t)}