Stdlib.System.IO.Int
Contents
builtin int-print axiom printInt : Int -> IOSource#
printIntLn (i : Int) : IOSource#
