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