def wf.digits

emerging-eztoml@0.9.0.0 · main.bend:6138

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

import Base

6138# every character is an ASCII digit
6139def wf.digits(ss: String) -> Bool:
6140  match ss:
6141    case SNil{}:
6142      True{}
6143    case SCon{+h, t}:
6144      wf.then(Char.is_digit(h), _u => wf.digits(t))

Uses (4)

Used by (2)