def looks.dot.at

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

import Base

296# the char after a leading dot: `./` or `../`
297def looks.dot.at(mark: Mark, rest: String) -> Bool:
298  match mark:
299    case Slash{}:
300      True{}
301    case Dot{}:
302      looks.slash(rest)
303    case Tilde{}:
304      False{}
305    case Word{}:
306      False{}
307    case Other{}:
308      False{}