SettingRealsFromPositiveInts$json top-level constant
- @Deprecated('Use settingRealsFromPositiveIntsDescriptor instead')
Implementation
@$core.Deprecated('Use settingRealsFromPositiveIntsDescriptor instead')
const SettingRealsFromPositiveInts$json = const {
'1': 'SettingRealsFromPositiveInts',
'7': const {},
};