• POTTIER Francois's avatar
    New functions in [GrammarFunctor]. · c0d5c888
    POTTIER Francois authored
    - [Terminal.init], [Nonterminal.init], [Production.init] create arrays
      indexed with (integer codes for) symbols and productions.
    - Several functions allow finding the attributes attached with
      symbols, with producers, and with the grammar.
    c0d5c888
grammarFunctor.mli 18.6 KB