inline_params:[
[ params = LIST0
[ IDENT "prefix"; SYMBOL "="; prefix = QSTRING -> G.IPPrefix prefix
- | IDENT "procedural" -> G.IPProcedural
| flavour = inline_flavour -> G.IPAs flavour
- | IDENT "depth"; SYMBOL "="; depth = int -> G.IPDepth depth
+ | IDENT "procedural" -> G.IPProcedural
| IDENT "nodefaults" -> G.IPNoDefaults
+ | IDENT "depth"; SYMBOL "="; depth = int -> G.IPDepth depth
+ | IDENT "level"; SYMBOL "="; level = int -> G.IPLevel level
] -> params
]
];