List.split (extract_term_production level1_pattern)
in
let level = level_of precedence associativity in
- let p_names = flatten_opt p_bindings in
+(* let p_names = flatten_opt p_bindings in *)
let _ =
Grammar.extend
[ Grammar.Entry.obj (term: 'a Grammar.Entry.e),