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";Last modified on 2024-07-11 16:35 UTC