* http://cs.unibo.it/helm/.
*)
+type local = bool
+
type inline_kind = Con | Ind | Var
type item = Heading of (string * int)
| Unexport of string
| BaseUri of string
| Include of string
- | Coercion of string
- | Notation of string
+ | Coercion of (local * string)
+ | Notation of (local * string)
| Inline of (inline_kind * string)
| Verbatim of string
| Discard of string