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