| PAREN "("; t = term; PAREN ")" -> return_term loc t
]
];
- tactic_where: [ [ where = OPT [ "in"; ident = IDENT -> ident ] -> where ] ];
+ tactic_where: [
+ [ where = OPT [ IDENT "in"; ident = IDENT -> ident ] -> where ]
+ ];
tactic_term: [ [ t = term -> t ] ];
ident_list0: [
[ PAREN "["; idents = LIST0 IDENT SEP SYMBOL ";"; PAREN "]" -> idents ]