Stdlib.System.IO.Bool
Contents
builtin bool-print axiom printBool : Bool → IOSource#
printBoolLn (b : Bool) : IOSource#