Theory "min"

Signature

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