- | NChange of loc * npattern * NotationPt.term
- | NConstructor of loc * int option * NotationPt.term list
- | NCut of loc * NotationPt.term
-(* | NDiscriminate of loc * NotationPt.term
- | NSubst of loc * NotationPt.term *)
+ | NChange of loc * npattern * nterm
+ | NClear of loc * string list
+ | NConstructor of loc * int option * nterm list
+ | NCut of loc * nterm
+(* | NDiscriminate of loc * nterm
+ | NSubst of loc * nterm *)