Minter$json top-level constant
Implementation
@$core.Deprecated('Use minterDescriptor instead')
const Minter$json = {
'1': 'Minter',
'2': [
{'1': 'inflation', '3': 1, '4': 1, '5': 9, '8': {}, '10': 'inflation'},
{'1': 'annual_provisions', '3': 2, '4': 1, '5': 9, '8': {}, '10': 'annualProvisions'},
],
};