val deannotate_term : Cic.annterm -> Cic.term
val deannotate_conjectures : Cic.annmetasenv -> Cic.metasenv
val deannotate_obj : Cic.annobj -> Cic.obj
val deannotate_term : Cic.annterm -> Cic.term
val deannotate_conjectures : Cic.annmetasenv -> Cic.metasenv
val deannotate_obj : Cic.annobj -> Cic.obj