Package net.hydromatic.morel.util

Interface Unifier.Constraint.Action

All Known Implementing Classes:

Unifier.EquivAction

Enclosing class:

Unifier.Constraint

public static interface Unifier.Constraint.Action

Called when a constraint is narrowed down to one possibility.

Method Summary

Modifier and Type	Method	Description
void	accept(Unifier.Term actualArg, Unifier.Term term, BiConsumer<Unifier.Term,Unifier.Term> consumer)

Method Details

accept

void accept(Unifier.Term actualArg,
 Unifier.Term term,
 BiConsumer<Unifier.Term,Unifier.Term> consumer)