Stdlib.System.IO
Contents
print {A} {{Show A}} (a : A) : IOSource#
printLn {A} {{Show A}} (a : A) : IOSource#