(library
(name interp)
(synopsis "Rocq's Syntactic Interpretation for AST [notations, implicits]")
(public_name rocq-runtime.interp)
(wrapped false)
(modules_without_implementation constrexpr notation_term)
(libraries zarith pretyping gramlib))
(deprecated_library_name
(old_public_name coq-core.interp)
(new_public_name rocq-runtime.interp))
¤ Dauer der Verarbeitung: 0.8 Sekunden
(vorverarbeitet)
¤
*© Formatika GbR, Deutschland
