def key_tail

bend-toon-codec@0.1.0.0 · src/text.bend:137

import Base

137def key_tail(+s: String) -> Bool:
138  match s:
139    case SNil{}:
140      True{}
141    case SCon{c, t}:
142      key_rest(c) && key_tail(t)