Predicate DeprecatedModule::deprecated_module

predicate deprecated_module(string name, string instead, int major, int minor)