Package net.hydromatic.morel.util

Interface Unifier.TermVisitor<R>

Type Parameters:

R - return type

All Known Implementing Classes:

TypeMap.TermToTypeConverter

Enclosing class:

Unifier

public static interface Unifier.TermVisitor<R>

Visitor for terms.

See Also:

• Unifier.Term.accept(TermVisitor)

Method Summary

Modifier and Type	Method	Description
R	visit(Unifier.Sequence sequence)
R	visit(Unifier.Variable variable)

Method Details

visit

R visit(Unifier.Sequence sequence)

visit

R visit(Unifier.Variable variable)