val name_to_ast : Nametab.qualid -> Coqast.t;;
val convert_qualid : Nametab.qualid -> Coqast.t;;