| l -> idref aid (Ast.Appl l)
in
let deannot_he = Deannotate.deannotate_term he in
- if CoercGraph.is_a_coercion deannot_he && !Acic2content.hide_coercions
+ if CoercDb.is_a_coercion' deannot_he && !Acic2content.hide_coercions
then
- match CoercGraph.is_a_coercion_to_funclass deannot_he with
+ match CoercDb.is_a_coercion_to_funclass deannot_he with
| None -> idref aid (last_n 1 (List.map k tl))
| Some i -> idref aid (last_n (i+1) (List.map k tl))
else