name_to_ast.mli « interface « contrib - coq - the Coq proof assistant

about summary refs log tree commit diff homepage

path: root/contrib/interface/name_to_ast.mli

blob: 4a68e0134f183d456e68078f049633b3bb969295 (plain)

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