builtin string-print axiom printString : String -> IOSource#

builtin IO-readline axiom readLn : (String -> IO) -> IOSource#

printStringLn (s : String) : IOSource#