module Stdlib.System.IO;

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.Trait.Show open;

print {A} {{Show A}} (a : A) : IO := printString (Show.show a);

printLn {A} {{Show A}} (a : A) : IO := printStringLn (Show.show a);
Last modified on 2024-07-11 16:35 UTC