Package net.hydromatic.morel.util

Interface Unifier.Result

All Known Implementing Classes:

Unifier.Failure, Unifier.Substitution

Enclosing class:

Unifier

public static interface Unifier.Result

Result of attempting unification. A success is Unifier.Substitution, but there are other failures.