Grammars
module AcgcLog : sig ... end
module Data_lexer : sig ... end
module Data_parser : sig ... end
module Errors : sig ... end
module Messages : sig ... end
module Parsers : sig ... end
This module implements the parsing functions for ACG data files, terms, lexical entries, and signature entries
module Term_sequence : sig ... end
This modules implements a cheap term parser to handle infix operators associativity and precedence without changing the menhir grammar files
module Term_sequence_parser : sig ... end