module Stdlib.System.IO.Bool;

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

builtin bool-print
axiom printBool : Bool → IO;

printBoolLn (b : Bool) : IO := printBool b >>> printString "\n";