definition module ReadLine
-import StdEnv
+import StdClass
:: Maybe a = Nothing | Just a
:: HistoryItem = {line :: String, timestamp :: String}
instance toString HistoryItem
instance toString HistoryState
+//Maybe functions
+isNothing :: !(Maybe .x) -> Bool
+isJust :: !(Maybe .x) -> Bool
+fromJust :: !(Maybe .x) -> .x
+
//Non-library functions
setReadLineName :: !String !*env -> *env