pub fn restrict_module(value: Module) -> ModuleDef