~/jendhub

def chars.ok

ezx@1.11.0.0 · src/remove/plan.bend:80

import ezx@1.11.0.0/src/remove/plan.bend as Plan
import Base

80# whether every char of a text may
81def chars.ok(text: String) -> Bool:
82  match text:
83    case SNil{}:
84      True{}
85    case SCon{+h, t}:
86      +rest = chars.ok(t)
87      Bool.and(char.ok(h), rest)

Uses (4)

Used by (1)