val visit_ast:
?special_k:(CicNotationPt.term -> CicNotationPt.term) ->
+ ?map_xref_option:(CicNotationPt.href option -> CicNotationPt.href option) ->
+ ?map_case_indty:(CicNotationPt.case_indtype option ->
+ CicNotationPt.case_indtype option) ->
+ ?map_case_outtype:((CicNotationPt.term -> CicNotationPt.term) ->
+ CicNotationPt.term option -> CicNotationPt.term
+ option) ->
(CicNotationPt.term -> CicNotationPt.term) ->
CicNotationPt.term ->
CicNotationPt.term
val ungroup: CicNotationPt.term list -> CicNotationPt.term list
val find_appl_pattern_uris:
- CicNotationPt.cic_appl_pattern -> UriManager.uri list
+ CicNotationPt.cic_appl_pattern ->
+ [`Uri of UriManager.uri | `NRef of NReference.reference] list
val find_branch:
CicNotationPt.term -> CicNotationPt.term
(** Symbol/Numbers instances *)
val freshen_term: CicNotationPt.term -> CicNotationPt.term
-val freshen_obj: CicNotationPt.obj -> CicNotationPt.obj
+val freshen_obj: CicNotationPt.term CicNotationPt.obj -> CicNotationPt.term CicNotationPt.obj
(** Notation id handling *)