(Cic2Xml.print_term ~ids_to_inner_sorts acic)
>], (entry::context), (hid::idrefs)
| None ->
(* Invariant: "" is never looked up *)
[< s ; X.xml_empty "Hidden" [] >], (None::context), ""::idrefs
(Cic2Xml.print_term ~ids_to_inner_sorts acic)
>], (entry::context), (hid::idrefs)
| None ->
(* Invariant: "" is never looked up *)
[< s ; X.xml_empty "Hidden" [] >], (None::context), ""::idrefs