def bare.all

emerging-eztoml@0.9.0.0 · main.bend:185

import Base

185# whether every character of a key is one a bare key may hold
186def bare.all(cs: List<&2, Char>) -> Bool:
187  match cs:
188    case []:
189      True{}
190    case +h <> t:
191      bare.all.step(bare.at(h), _u => bare.all(t))