14.2.5  Commandline

The standard library Commandline api defines access to the commandline arguments used to invoke the program.

The Commandline api is implemented by the commandline package.

The Commandline api source code is in src/lib/std/commandline.api.

The above information is manually maintained and may contain errors.

api {
    get_program_name : Void -> String;
    get_commandline_arguments : Void -> List(String );
    get_all_commandline_arguments : Void -> List(String );};