module languages/box/syntax/Crossreferences

imports languages/box/syntax/Box
exports
  context-free syntax
    "LBL" "[" StrCon "," Box "]"    -> Box
    "REF" "[" StrCon "," Box "]"    -> Box
    "CNT" "[" StrCon "," StrCon "]" -> Box