Theory "min"

Signature

Type	Arity
bool	0
fun	2
ind	0
Constant	Type
=	:α -> α -> bool
==>	:bool -> bool -> bool
@	:(α -> bool) -> α