Grammars (p.acgtk.2.1.0.doc.acgtk.grammars.Grammars)

Sourcemodule AcgcLog : sig ... end

Sourcemodule Data_lexer : sig ... end

Sourcemodule Data_parser : sig ... end

Sourcemodule Errors : sig ... end

Sourcemodule Messages : sig ... end

Sourcemodule Parsers : sig ... end

This module implements the parsing functions for ACG data files, terms, lexical entries, and signature entries

Sourcemodule Term_sequence : sig ... end

This modules implements a cheap term parser to handle infix operators associativity and precedence without changing the menhir grammar files

Sourcemodule Term_sequence_parser : sig ... end