DEFINITION MODULE CmdLineArgs;

EXPORT QUALIFIED Getarg;

PROCEDURE Getarg(
    VAR arg : ARRAY OF CHAR (* out *) ) : BOOLEAN;
    (*
    Returns the next arg from the argv. If no more arg's, the procedure
    returns false.
    *)

END CmdLineArgs.