module languages/sdf2/syntax/Lifting imports languages/sdf2/syntax/Kernel exports context-free syntax left-quote:"`" Symbol right-quote:"`" -> Symbol {cons("lifting")}