Publisher$json top-level constant
Implementation
@$core.Deprecated('Use publisherDescriptor instead')
const Publisher$json = const {
'1': 'Publisher',
'2': const [
const {
'1': 'device',
'3': 1,
'4': 1,
'5': 11,
'6': '.toit.model.pubsub.Publisher.Device',
'9': 0,
'10': 'device'
},
const {
'1': 'external',
'3': 2,
'4': 1,
'5': 11,
'6': '.toit.model.pubsub.Publisher.External',
'9': 0,
'10': 'external'
},
],
'3': const [Publisher_External$json, Publisher_Device$json],
'8': const [
const {'1': 'publisher'},
],
};