Module `Mod_typing`

Main functions for translating module entries

val translate_module : Environ.env -> Names.ModPath.t -> Entries.inline -> Entries.module_entry -> Declarations.module_body

val translate_modtype : Environ.env -> Names.ModPath.t -> Entries.inline -> Entries.module_type_entry -> Declarations.module_type_body

type 'alg translation = Declarations.module_signature * 'alg * Mod_subst.delta_resolver * Univ.ContextSet.t

val translate_mse : Environ.env -> Names.ModPath.t option -> Entries.inline -> Entries.module_struct_entry -> Declarations.module_alg_expr translation

val finalize_module : Environ.env -> Names.ModPath.t -> Declarations.module_expression option translation -> (Entries.module_type_entry * Entries.inline) option -> Declarations.module_body

val translate_mse_incl : bool -> Environ.env -> Names.ModPath.t -> Entries.inline -> Entries.module_struct_entry -> unit translation