Args.rest: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/share/args.bend as Args
Lines 59-65 of ezx@1.11.0.0/src/share/args.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/share/args.bend&start_line=59&end_line=65

import Base

# every word after the first, which is what `run` forwards to the entry
def rest(as: List<&2, String>) -> List<&2, String>:
  match as:
    case Nil{}:
      Nil{}
    case Con{_h, t}:
      t

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String