val strip_attributes: CicNotationPt.term -> CicNotationPt.term
+ (** @return the list of proper (i.e. non recursive) IdRef of a term *)
+val get_idrefs: CicNotationPt.term -> string list
+
(** generalization of List.combine to n lists *)
val ncombine: 'a list list -> 'a list list
val group: CicNotationPt.term list -> CicNotationPt.term
val ungroup: CicNotationPt.term list -> CicNotationPt.term list
-val find_appl_pattern_uris:
- CicNotationPt.cic_appl_pattern -> UriManager.uri list
+(* val find_appl_pattern_uris:
+ CicNotationPt.cic_appl_pattern -> UriManager.uri list *)
val find_branch:
CicNotationPt.term -> CicNotationPt.term