Plan.last: def of ezx@1.13.0.0
Import: import ezx@1.13.0.0/src/lock/plan.bend as Plan
Lines 1069-1079 of ezx@1.13.0.0/src/lock/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.13.0.0/src/lock/plan.bend&start_line=1069&end_line=1079

import Base
import ezx@1.13.0.0/src/lock/world.bend as W

# the last file's text, "" for no file
def last(fs: List<&2, W.Source>) -> String:
  match fs:
    case []:
      ""
    case h <> t:
      match t:
        case []:
          text.of(h)
        case h2 <> t2:
          last(h2 <> t2)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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/lock/plan.bend&name=text.of
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/lock/world.bend&name=Source