module IBAF

imports
    IBAF-Start

context-free start-symbols
  
    Start

context-free syntax
  
    Start = L-start