Interface Unifier.Result

All Known Implementing Classes:
Unifier.Failure, Unifier.SubstitutionResult
Enclosing class:
Unifier

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