val ungroup: NotationPt.term list -> NotationPt.term list
val find_appl_pattern_uris:
- NotationPt.cic_appl_pattern ->
- [`Uri of UriManager.uri | `NRef of NReference.reference] list
+ NotationPt.cic_appl_pattern -> NReference.reference list
val find_branch:
NotationPt.term -> NotationPt.term
-val cic_name_of_name: NotationPt.term -> Cic.name
-val name_of_cic_name: Cic.name -> NotationPt.term
-
(** Symbol/Numbers instances *)
val freshen_term: NotationPt.term -> NotationPt.term
val fresh_id: unit -> notation_id
+val refresh_uri_in_term:
+ refresh_uri_in_term:(NCic.term -> NCic.term) ->
+ refresh_uri_in_reference:(NReference.reference -> NReference.reference) ->
+ NotationPt.term -> NotationPt.term