| NCases of loc * NotationPt.term * npattern
| NCase1 of loc * string
| NChange of loc * npattern * NotationPt.term
+ | NClear of loc * string list
| NConstructor of loc * int option * NotationPt.term list
| NCut of loc * NotationPt.term
(* | NDiscriminate of loc * NotationPt.term
| Symbol_alias of string * int * string (* name, instance no, description *)
| Number_alias of int * string (* instance no, description *)
-type inclusion_mode = WithPreferences | WithoutPreferences (* aka aliases *)
+type inclusion_mode = WithPreferences | WithoutPreferences | OnlyPreferences (* aka aliases *)
type command =
| Include of loc * inclusion_mode * string (* _,buri,_,path *)