Abstract away the representation of module-related types#19995

Merged

coqbot-app[bot] merged 6 commits intocoq:masterfrom ppedrot:module-abstract-type

Jan 15, 2025

+771-602

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.

Alternative Proxies:

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Abstract away the representation of module-related types#19995

Commits on Jan 14, 2025

Move the module-related definitions from Declarations to a new module.

Consolidate the module hashconsing functions in Mod_declarations.

Consolidate module-mapping functions in Mod_declarations.

Make the generic_module_body type private.

Abstract away the various types of modules.

Adding overlays.

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.