def pos_err

cswap-bend-cli@0.1.0.0 · args.bend:164

import cswap-bend-cli@0.1.0.0/args.bend as Args

import Base

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

Uses (9)

Used by (1)

cswap-bend-cli@0.1.0.0/args:arity