Theory: min

Parents

Type constants

• bool(Arity = 0)
• ind(Arity = 0)
• fun(Arity = 2)

Term constants

• =:'a -> 'a -> bool {fixity = Infix 100}
• ==>:bool -> bool -> bool {fixity = Infix 200}
• @:('a -> bool) -> 'a {fixity = Binder}

Axioms

Definitions

Theorems