def dotted

bend-toon-codec@0.1.0.0 · src/fold.bend:73

import Base

73# Keys that hold a dot.
74def dotted(+ks: List<&2, String>) -> List<&2, String>:
75  match ks:
76    case Nil{}:
77      Nil{}
78    case Con{k, t}:
79      dotted.pick(has_dot(k), k, dotted(t))