module Stdlib.System.IO.Int;

import Stdlib.System.IO.Base open;
import Stdlib.Data.Int open using {Int};
import Stdlib.System.IO.String open;

builtin int-print
axiom printInt : Int -> IO;

printIntLn (i : Int) : IO := printInt i >>> printString "\n";