RankedElement_$json top-level constant
Implementation
@$core.Deprecated('Use rankedElement_Descriptor instead')
const RankedElement_$json = {
'1': '_RankedElement',
'2': [
{'1': 'id', '3': 1, '4': 1, '5': 13, '10': 'id'},
{'1': 'score', '3': 2, '4': 1, '5': 2, '10': 'score'},
{'1': 'rank', '3': 3, '4': 1, '5': 13, '10': 'rank'},
],
};