def words

bendtorch-core@0.1.0.0 · src/shape/core.bend:382

import Base

382def words(values: List<&2, Nat>) -> List<&2, U32>:
383  match values:
384    case Nil{}:
385      Nil{}
386    case head <> tail:
387      U32.from_nat(head) <> words(tail)