%%% $Id: Aliases.sdf 17765 2006-02-13 12:54:52Z jurgenv $ module languages/sdf2/syntax/Aliases imports languages/sdf2/syntax/Kernel exports sorts Alias Aliases context-free syntax "aliases" Aliases -> Grammar {cons("aliases")} Symbol arrow:"->" alias:Symbol -> Alias {cons("alias")} list:Alias* -> Aliases