bool.bool
0
Parameter bool : Type
axiom bool : Type[0]
axiom bool : Type
sttfa_bool : TYPE+
Printing for OpenTheory is not working at the moment.