Module 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