+ let annobj, innertypes =
+ if Helm_registry.get_bool "matita.system" then
+ let annobj, _, _, ids_to_inner_sorts, ids_to_inner_types, _, _ =
+ Cic2acic.acic_object_of_cic_object obj
+ in
+ let innertypesxml =
+ Cic2Xml.print_inner_types
+ uri ~ids_to_inner_sorts ~ids_to_inner_types ~ask_dtd_to_the_getter:false
+ in
+ annobj, Some innertypesxml
+ else
+ let annobj = Cic2acic.plain_acic_object_of_cic_object obj in
+ annobj, None
+ in