public interface: Symbol.Visitor
All Known Implementing Classes:
Printer, DefaultSymbolVisitor, RichPrinter
A visitor for symbols. A visitor is used to implement operations
(or relations) on symbols. Most common operations on types are
binary relations and this interface is designed for binary
relations, that is, operations on the form
Symbol × P → R.
- the return type of the operation implemented by this
visitor; use Void if no return type is needed.
- the type of the second argument (the first being the
symbol itself) of the operation implemented by this visitor; use
Void if a second argument is not needed.