Named.last.at: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ez/named.bend as Named
Lines 19-25 of ezx@1.11.0.0/src/ez/named.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ez/named.bend&start_line=19&end_line=25

import Base

# one char in front of what was seen, when no slash has been passed yet
def last.at(slash: Bool, ch: Char, rest: String) -> Seen:
  match slash:
    case True{}:
      Seen{True{}, rest}
    case False{}:
      Seen{False{}, SCon{ch, rest}}

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=Char
  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/named.bend&name=Seen