type print_kind = [ `Env | `Coer ]
type inline_param = IPPrefix of string
- | IPProcedural
- | IPDepth of int
| IPAs of Cic.object_flavour
+ | IPProcedural
| IPNoDefaults
+ | IPLevel of int
+ | IPDepth of int
type ('term,'lazy_term) macro =
(* Whelp's stuff *)
* 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