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 2023-10-06 13:21 UTC