type inline_kind = Con | Ind | Var
+type source = string
+
+type prefix = string
+
type item = Heading of (string * int)
| Line of string
| Comment of string
| Include of string
| Coercion of (local * string)
| Notation of (local * string)
- | Inline of (inline_kind * string)
+ | Section of (local * string * string)
+ | Inline of (local * inline_kind * source * prefix)
| Verbatim of string
| Discard of string