type inline_kind = Con | Ind | Var
+type input_kind = Gallina8 | Grafite of string
+
type output_kind = Declarative | Procedural
type source = string
type flavour = Cic.object_flavour option
+type params = GrafiteAst.inline_param list
+
type item = Heading of (string * int)
| Line of string
| Comment of string
| Unexport of string
- | Include of string
+ | Include of (bool * string)
| Coercion of (local * string)
| Notation of (local * string)
| Section of (local * string * string)
- | Inline of (local * inline_kind * source * prefix * flavour)
+ | Inline of (local * inline_kind * source * prefix * flavour * params)
| Verbatim of string
| Discard of string