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