val strip_attributes: NotationPt.term -> NotationPt.term
(** @return the list of proper (i.e. non recursive) IdRef of a term *)
-val get_idrefs: NotationPt.term -> string list
+val get_idrefs: NotationPt.term -> (string * string option * string) list
(** generalization of List.combine to n lists *)
val ncombine: 'a list list -> 'a list list