* punctuation_tactical
| NonPunctuationTactical of loc * non_punctuation_tactical
* punctuation_tactical
+ | NNonPunctuationTactical of loc * non_punctuation_tactical
+ * punctuation_tactical
type ('term, 'lazy_term, 'reduction, 'obj, 'ident) comment =
| Note of loc * string