TacticAst.Transitivity (loc, t)
| [ IDENT "fwd" ]; t = term ->
TacticAst.FwdSimpl (loc, t)
- | [ IDENT "lapply" ]; what = tactic_term; to_what = OPT [ "to" ; t = tactic_term -> t ] ->
- TacticAst.LApply (loc, to_what, what)
+ | [ IDENT "lapply" ]; what = tactic_term;
+ to_what = OPT [ "to" ; t = tactic_term -> t ] ->
+ TacticAst.LApply (loc, to_what, what)
]
];
tactical: