Named.leaf.of: def of ezx@1.13.0.0
Import: import ezx@1.13.0.0/src/ez/named.bend as Named
Lines 45-48 of ezx@1.13.0.0/src/ez/named.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.13.0.0/src/ez/named.bend&start_line=45&end_line=48

import Base

# what lies after the last slash
def leaf.of(seen: Seen) -> String:
  Seen{_slash, rest} = seen
  rest

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ez/named.bend&name=Seen