Module Modintern

Module internalization errors

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