definition module ReadLine

/*
	Reads a line from stdin with the readline library
	The value in the String argument will be used as a prompt
	To enable history the Boolean variable has to be set to True
*/
readLine :: !String !Bool !*env -> (!String, !*env)