pub fn generate_idl_structs_for_module(
    env: &GlobalEnv,
    module_env: ModuleEnv<'_>
) -> Result<Vec<IDLStruct>>