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