~/jendhub

def literal.valid

bend-kit-router@0.2.0.0 · router.bend:46

import bend-kit-router@0.2.0.0/router.bend as Router
import Base

46def literal.valid(s: String) -> Bool:
47  match s:
48    case SNil{}:
49      True{}
50    case SCon{Chr{+c}, t}:
51      Bool.and(Bool.and(scalar(c), Bool.and(U32.is_ne(c, 0), U32.is_ne(c, 47))), literal.valid(t))

Uses (6)

Used by (1)