definition module ReadLine

//Readline
readLine :: !String !Bool !*env -> (!String, !*env)

//Initializing History and State Management

//History List Management

//Information About the History List

//Moving Around the History List

//Searching the History List

//Managing the History File
readHistory :: !String !*env -> (!Bool, !*env)
readHistoryRange :: !String !Int !Int !*env -> (!Bool, !*env)
writeHistory :: !String !*env -> (!Bool, !*env)
appendHistory :: !Int !String !*env -> (!Bool, !*env)
historyTruncateFile :: !String !Int !*env -> (!Bool, !*env)