org.kiama.example.prolog.SymbolTable
A variable entity including the type constraint that we know so far.
(Since version 2.8.0) use productIterator instead
A variable entity including the type constraint that we know so far.