(fun (dsc', _, _) -> dsc = dsc')
(CicNotationRew.lookup_interpretations symbol))
with CicNotationRew.Interpretation_not_found | Not_found ->
(fun (dsc', _, _) -> dsc = dsc')
(CicNotationRew.lookup_interpretations symbol))
with CicNotationRew.Interpretation_not_found | Not_found ->