M2compiler-V3/stdlib/programargs.def

DEFINITION MODULE ProgramArgs;
(* Command-line arguments.  ArgCount is the number of arguments
   *after* the program name; GetArg is 1-based (1 = first argument).
   GetArg returns FALSE when there is no such argument. *)

PROCEDURE ArgCount() : CARDINAL;
PROCEDURE GetArg(n : CARDINAL; VAR s : ARRAY OF CHAR) : BOOLEAN;

END ProgramArgs.