builtin string-print axiom printString : String → IOSource#

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

printStringLn (s : String) : IOSource#