name_to_ast.mli « interface « contrib - debian-coq - Debian packaging for Coq

summary refs log tree commit diff

path: root/contrib/interface/name_to_ast.mli

blob: 0eca0a1e776cd291831f15dc59da656f08c709aa (plain)

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