def seg.dots

ezx@1.11.0.0 · src/ez/target.bend:96

import Base

96# after `..`: one more name char, so the segment is not `..`
97def seg.dots(text: String) -> Bool:
98  match text:
99    case SNil{}:
100      False{}
101    case SCon{+h, t}:
102      name.keep(kind(h), _u => name.all(t))