| Tactic of loc * ('term, 'lazy_term, 'reduction, 'ident) tactic option
* ('term, 'lazy_term, 'reduction, 'ident) punctuation_tactical
| NonPunctuationTactical of loc
| Tactic of loc * ('term, 'lazy_term, 'reduction, 'ident) tactic option
* ('term, 'lazy_term, 'reduction, 'ident) punctuation_tactical
| NonPunctuationTactical of loc