pub fn expand_module_def(v: ModuleDef) -> Result<ModuleDef>