def ident_tail

bend-toon-codec@0.1.0.0 · src/fold.bend:30

import bend-toon-codec@0.1.0.0/src/fold.bend as Fold

import Base

30def ident_tail(+s: String) -> Bool:
31  match s:
32    case SNil{}:
33      True{}
34    case SCon{c, t}:
35      alnum(c) && ident_tail(t)

Uses (4)

Used by (1)

bend-toon-codec@0.1.0.0/src/fold:ident