Header$json top-level constant
Implementation
@$core.Deprecated('Use headerDescriptor instead')
const Header$json = const {
'1': 'Header',
'2': const [
const {'1': 'description', '3': 1, '4': 1, '5': 9, '10': 'description'},
const {'1': 'type', '3': 2, '4': 1, '5': 9, '10': 'type'},
const {'1': 'format', '3': 3, '4': 1, '5': 9, '10': 'format'},
const {'1': 'default', '3': 6, '4': 1, '5': 9, '10': 'default'},
const {'1': 'pattern', '3': 13, '4': 1, '5': 9, '10': 'pattern'},
],
'9': const [
const {'1': 4, '2': 5},
const {'1': 5, '2': 6},
const {'1': 7, '2': 8},
const {'1': 8, '2': 9},
const {'1': 9, '2': 10},
const {'1': 10, '2': 11},
const {'1': 11, '2': 12},
const {'1': 12, '2': 13},
const {'1': 14, '2': 15},
const {'1': 15, '2': 16},
const {'1': 16, '2': 17},
const {'1': 17, '2': 18},
const {'1': 18, '2': 19},
],
};