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 *)