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