DEFINITION MODULE Args ; EXPORT QUALIFIED GetArg, Narg ; (* GetArg - returns the nth argument from the command line. The success of the operation is returned. *) PROCEDURE GetArg (VAR a: ARRAY OF CHAR ; i: CARDINAL) : BOOLEAN ; (* Narg - returns the number of arguments available from command line. *) PROCEDURE Narg () : CARDINAL ; END Args.