(library
(name pretyping)
(synopsis "Rocq's Type Inference Component (Pretyper)")
(public_name rocq-runtime.pretyping)
(wrapped false)
(modules_without_implementation locus pattern glob_term ltac_pretype)
(libraries engine))
(deprecated_library_name
(old_public_name coq-core.pretyping)
(new_public_name rocq-runtime.pretyping))
¤ Dauer der Verarbeitung: 0.10 Sekunden
(vorverarbeitet)
¤
*© Formatika GbR, Deutschland
