package acgtk

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

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