module basic/Shortcut

imports basic/Keys

exports

context-free start-symbols Shortcut

sorts Shortcut
context-free syntax
  "shortcut" "(" Mask "," Key ")" -> Shortcut {cons("shortcut")}