Removed all $Id headers that were still around.
Showing with 3 additions and 31 deletions
|(* $Id: nonTerminalDefinitionInlining.mli,v 1.5 2005/12/01 16:20:06 regisgia Exp $ *)|
|(** [inline g] traverses the rules of [g] and inlines the non terminal|
|definitions that are marked with [%inline]. It returns a pair of the transformed|
|grammar and a flag that tells whether any inlining was actually done. *)|