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";Last modified on 2024-04-19 16:39 UTC