module languages/box/syntax/Over

imports Box
exports
  context-free syntax
    "O" SOptions "[" Box BoxString Box "]" -> Box

%%%