def big.chars

yaml-for-bend@0.1.1.0 · num.bend:36

import yaml-for-bend@0.1.1.0/num.bend as Num

import Base

36def big.chars(s: String) -> List<&2, Nat>:
37  match s:
38    case SNil{}:
39      []
40    case SCon{c, t}:
41      digit(c) <> big.chars(t)

Uses (4)

Used by (1)

yaml-for-bend@0.1.1.0/num:big.of.nat