Package net.hydromatic.morel.util

Interface Unifier.Action

Enclosing class:

Unifier

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@FunctionalInterface
public static interface Unifier.Action

Called by the unifier when a Term's type becomes known.

Method Summary

Modifier and Type	Method	Description
void	accept(Unifier.Variable variable, Unifier.Term term, Unifier.Substitution substitution, List<Unifier.TermTerm> termPairs)

Method Details

accept

void accept(Unifier.Variable variable,
 Unifier.Term term,
 Unifier.Substitution substitution,
 List<Unifier.TermTerm> termPairs)