|
|
|---|
|
|
|
|---|
Recognizer for an arbitrary module element.
This is a ``transparent'' sum type introduced using deftranssum. It is simply any one of the following types:
It is sometimes useful to be able to deal with module elements of arbitrary types. For instance, we often use this in error messages, along with vl-context-p, to describe where expressions occur. We also use it in our parser, where before module formation, the module elements are initially kept in a big, mixed list.