Package org.jfuncmachine.util.unification

package org.jfuncmachine.util.unification

Utilities to assist with type unification

Class	Description
TypeHolder<T extends Unifiable>	A type holder for unification A TypeHolder holds a type for unification.
Unifiable	An interface for types that can be unified with each other
UnificationException	An exception thrown by the type unification utility