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: 600ec5f918319d78306d27b5b805aa2a811da7c0 (plain)

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