module Stdlib.System.IO.String;

import Stdlib.System.IO.Base open;
import Stdlib.Data.String open;

builtin string-print
axiom printString : String -> IO;

builtin IO-readline
axiom readLn : (String -> IO) -> IO;

printStringLn (s : String) : IO := printString s >>> printString "\n";