nonTerminalDefinitionInlining.mli 315 Bytes
Newer Older
1 2 3 4
(** [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. *)
val inline: UnparameterizedSyntax.grammar -> UnparameterizedSyntax.grammar * bool