%%% $Id: Labels.sdf 17765 2006-02-13 12:54:52Z jurgenv $ module languages/sdf2/syntax/Labels imports languages/sdf2/syntax/Kernel basic/StrCon exports sorts Label context-free syntax StrCon -> Label {cons("quoted")} IdCon -> Label {cons("unquoted")} Label ":" Symbol -> Symbol {cons("label")}