fn module_initialization( full_name: &str, name: &Ident, ctx: &Ctx, module_exec: TokenStream, is_submodule: bool, gil_used: bool, doc: Option<&PythonDoc>, ) -> Result<TokenStream>