Theory "min"

Signature

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