Definitions
import Stdlib.System.IO.Base open public
import Stdlib.System.IO.Bool open public
import Stdlib.System.IO.Nat open public
import Stdlib.System.IO.Int open public
import Stdlib.System.IO.String open public
import Stdlib.System.IO.Base open public
import Stdlib.System.IO.Bool open public
import Stdlib.System.IO.Nat open public
import Stdlib.System.IO.Int open public
import Stdlib.System.IO.String open public