bool.match_bool_type
∀ return, return → return → bool.bool → return
Parameter match_bool_type : forall (return_:Type), return_ -> return_ -> bool -> return_
axiom match_bool_type : \forall return_ : Type[0] . return_ -> return_ -> bool -> return_
constant match_bool_type : forall (return : Type) , (return) -> (return) -> (bool.bool) -> return
match_bool_type [return:TYPE+] : [return -> [return -> [bool_sttfa.sttfa_bool -> return]]]
Printing for OpenTheory is not working at the moment.