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