];
using: [ [ using = OPT [ IDENT "using"; t = tactic_term -> t ] -> using ] ];
ntactic: [
- [ IDENT "napply"; t = tactic_term ->
- GrafiteAst.NApply (loc, t)
+ [ IDENT "napply"; t = tactic_term -> GrafiteAst.NApply (loc, t)
+ | IDENT "nchange"; what = tactic_term; with_what = tactic_term ->
+ GrafiteAst.NChange (loc, what, with_what)
]
];
tactic: [
GrafiteAst.Tactic (loc, Some tac, punct)
| punct = punctuation_tactical -> GrafiteAst.Tactic (loc, None, punct)
| tac = ntactic; punct = punctuation_tactical ->
- GrafiteAst.NTactic (loc, Some tac, punct)
+ GrafiteAst.NTactic (loc, tac, punct)
| tac = non_punctuation_tactical; punct = punctuation_tactical ->
GrafiteAst.NonPunctuationTactical (loc, tac, punct)
| mac = macro; SYMBOL "." -> GrafiteAst.Macro (loc, mac)