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