def id.chars

ezx@1.11.0.0 · src/git/git.bend:527

import Base

527def id.chars(text: String) -> Bool:
528  match text:
529    case SNil{}:
530      True{}
531    case SCon{+h, t}:
532      flag.step(id.char(h), _u => id.chars(t))