Args.pos_err: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/args.bend as Args
Lines 164-165 of cswap-bend-cli@0.1.0.0/args.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/args.bend&start_line=164&end_line=165

import Base

def pos_err(+vb: String, +ps: List<&2, String>, +max: Nat) -> String:
  err_if(Nat.is_gt(List.length(&2, String, ps), max), "unrecognized arguments: " ++ String.join(List.drop(&2, String, ps, max), " "))

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.drop
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.length
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_gt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.join
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/args.bend&name=err_if