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