val name_to_ast : Libnames.reference -> Vernacexpr.vernac_expr;;
val convert_qualid : Libnames.qualid -> Coqast.t;;