- javni-valsirecord
A javni-valsi is a token with an (optionally) associated name generated from a javni, indicating a match of that javni.
It contains the following members:
- cme
- The name associated with this token, or #f if there is no associated name.
- val
- The token generated from matching a rule.