Module parol::generators::grammar_trans

Module with grammar transformations

Functions

check_and_transform_grammar

Apply all grammar transformation necessary to be able to use the given grammar.