def wf.text

emerging-eztoml@0.9.0.0 · main.bend:6120

import Base

6120# every character of a string or a key is a Unicode scalar value
6121def wf.text(ss: String) -> Bool:
6122  match ss:
6123    case SNil{}:
6124      True{}
6125    case SCon{+h, t}:
6126      wf.then(wf.char(h), _u => wf.text(t))