def all_ident

bend-toon-codec@0.1.0.0 · src/expand.bend:21

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

21def all_ident(+ks: List<&2, String>) -> Bool:
22  match ks:
23    case Nil{}:
24      True{}
25    case Con{k, t}:
26      K.ident(k) && all_ident(t)