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