def seg.dot2

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

import Base

104# the second char after a leading dot
105def seg.dot2(mark: Mark, rest: String) -> Bool:
106  match mark:
107    case Word{}:
108      name.all(rest)
109    case Dot{}:
110      seg.dots(rest)
111    case Slash{}:
112      False{}
113    case Tilde{}:
114      False{}
115    case Other{}:
116      False{}