~/jendhub

def dec.chars

emerging-eztoml@0.9.0.0 · main.bend:387

import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml
import Base

387# digits as characters, in the order given
388def dec.chars(ds: List<&2, U32>) -> List<&2, Char>:
389  match ds:
390    case []:
391      []
392    case d <> t:
393      dec.ch(d) <> dec.chars(t)

Uses (4)

Used by (1)