Module Modintern

Module internalization errors

type module_internalization_error =
| NotAModuleNorModtype of string
| IncorrectWithInModule
| IncorrectModuleApplication
exception ModuleInternalizationError of module_internalization_error
val interp_module_ast : Environ.env -> Declaremods.module_kind -> Constrexpr.module_ast -> Entries.module_struct_entry * Declaremods.module_kind * Univ.ContextSet.t