module languages/box/syntax/Contexts

imports basic/Comments
exports
  sorts Context
  context-free syntax
    "H"  -> Context
    "V"  -> Context