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";Last modified on 2023-10-06 13:21 UTC