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