definition module CommandLine /** * This module provides access to the commandline arguments of * the program. */ /** * Read the command line arguments from the world. * * @param The world * @return The command line arguments * @return The world */ getCommandLine :: *World -> ([String],*World)