Target.looks.dot.at: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ez/target.bend as Target
Lines 296-308 of ezx@1.11.0.0/src/ez/target.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ez/target.bend&start_line=296&end_line=308

import Base

# the char after a leading dot: `./` or `../`
def looks.dot.at(mark: Mark, rest: String) -> Bool:
  match mark:
    case Slash{}:
      True{}
    case Dot{}:
      looks.slash(rest)
    case Tilde{}:
      False{}
    case Word{}:
      False{}
    case Other{}:
      False{}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/target.bend&name=Mark
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/target.bend&name=looks.slash