Unifier.TermVisitor (morel 0.2.0 API)

Type Parameters:

R - return type

All Known Implementing Classes:

TypeResolver.TermToTypeConverter

Enclosing class:

Unifier
```
public static interface Unifier.TermVisitor<R>
```
Visitor for terms.

See Also:

Unifier.Term.accept(TermVisitor)

- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method Description
  
  R visit(Unifier.Sequence sequence)
  
  R visit(Unifier.Variable variable)

Method Detail

visit
```
R visit(Unifier.Sequence sequence)
```

visit
```
R visit(Unifier.Variable variable)
```