Stdlib.System.IO
Contents
import Stdlib.System.IO.Base open public
import Stdlib.System.IO.Bool open public
import Stdlib.System.IO.Nat open public
import Stdlib.System.IO.Int open public
import Stdlib.System.IO.String open public
print {A} {{Show A}} (a : A) : IOSource#
printLn {A} {{Show A}} (a : A) : IOSource#
