+ ?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) ->