org.kiama.example.obr.ObrTree
A declaration of a record variable with the given fields.
(Since version 2.8.0) use productIterator instead
A declaration of a record variable with the given fields.