Stdlib.System.IO.String
Contents
builtin string-print axiom printString : String → IOSource#
builtin IO-readline axiom readLn : (String → IO) → IOSource#
printStringLn (s : String) : IOSource#