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