def ident

cli@0.2.0.0 · cli.bend:6207

import Base

6207# A name with every char outside [A-Za-z0-9_] as _, for shell identifiers.
6208def ident(s: String) -> String:
6209  match s:
6210    case SNil{}: SNil{}
6211    case SCon{c, tail}: SCon{ident_char(c), ident(tail)}