+ | NDiscriminator of loc * CicNotationPt.term
+ | NInverter of loc * string * CicNotationPt.term * bool list option * CicNotationPt.term option
+ | NUnivConstraint of loc * NUri.uri * NUri.uri
+ | NCopy of loc * string * NUri.uri * (NUri.uri * NUri.uri) list