* marshalling *)
let magic = 5
+type inclusion_mode = WithPreferences | WithoutPreferences (* aka aliases *)
+
type command =
- | Include of loc * string
+ | Include of loc * string * inclusion_mode
| Alias of loc * alias_spec
(** parameters, name, type, fields *)
| Notation of loc * direction option * CicNotationPt.term * Gramext.g_assoc *