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