%%% $Id: Symbols.sdf 17765 2006-02-13 12:54:52Z jurgenv $
module languages/sdf2/syntax/Symbols
imports basic/Comments
exports
sorts Symbol Symbols
context-free syntax
"(" Symbol ")" -> Symbol {bracket}
list:Symbol* -> Symbols