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";