Module `Mod_typing`

val translate_module : 'a Conversion.universe_state -> Environ.env -> Names.ModPath.t -> Entries.inline -> Entries.module_entry -> Declarations.module_body * 'a

val translate_modtype : 'a Conversion.universe_state -> Environ.env -> Names.ModPath.t -> Entries.inline -> Entries.module_type_entry -> Declarations.module_type_body * 'a

val finalize_module : 'a Conversion.universe_state -> Environ.env -> Names.ModPath.t -> (Declarations.module_signature * Mod_subst.delta_resolver) -> (Entries.module_type_entry * Entries.inline) option -> Declarations.module_body * 'a

val translate_mse_include : bool -> 'a Conversion.universe_state -> Environ.env -> Names.ModPath.t -> Entries.inline -> Entries.module_struct_entry -> Declarations.module_signature * unit * Mod_subst.delta_resolver * 'a