(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.11 Sekunden
(vorverarbeitet)
]
