nothing is inline anymore
[CleanReadLine.git] / ReadLine.dcl
index 5e529c1..d66e37e 100644 (file)
@@ -1,12 +1,13 @@
 definition module ReadLine
 
 :: HistoryItem = {line :: String, timestamp :: String}
-
 :: HistoryState = {entries :: [HistoryItem], offset :: Int, flags :: Int}
 
+//Non-library functions
+setReadLineName :: !String !*env -> !*env
+
 //Readline
 readLine :: !String !Bool !*env -> (!String, !*env)
-setReadLineName :: !String !*env -> !*env
 
 //Initializing History and State Management
 //Note that this HAS to be executed when you want to add entries when the