MetricsSettings$json top-level constant
Implementation
@$core.Deprecated('Use metricsSettingsDescriptor instead')
const MetricsSettings$json = const {
'1': 'MetricsSettings',
'2': const [
const {
'1': 'level',
'3': 1,
'4': 1,
'5': 14,
'6': '.toit.model.MetricsData.Level',
'10': 'level'
},
],
};