using: [ [ using = OPT [ IDENT "using"; t = tactic_term -> t ] -> using ] ];
ntactic: [
[ IDENT "napply"; t = tactic_term -> GrafiteAst.NApply (loc, t)
- | IDENT "nchange"; what = tactic_term; with_what = tactic_term ->
+ | IDENT "nchange"; what = pattern_spec; "with"; with_what = tactic_term ->
GrafiteAst.NChange (loc, what, with_what)
]
];