Type.Data.Num.Decimal.Literal
type Pos1 p0
type Pos2 p1 p0
type Pos3 p2 p1 p0
type Pos4 p3 p2 p1 p0
type Pos5 p4 p3 p2 p1 p0
type Pos6 p5 p4 p3 p2 p1 p0
type Pos7 p6 p5 p4 p3 p2 p1 p0
type Neg1 p0
type Neg2 p1 p0
type Neg3 p2 p1 p0
type Neg4 p3 p2 p1 p0
type Neg5 p4 p3 p2 p1 p0
type Neg6 p5 p4 p3 p2 p1 p0
type Neg7 p6 p5 p4 p3 p2 p1 p0
type D0
type D1
type D2
type D3
type D4
type D5
type D6
type D7
type D8
type D9
type D10
type D11
type D12
type D13
type D14
type D15
type D16
type D17
type D18
type D19
type D20
type D21
type D22
type D23
type D24
type D25
type D26
type D27
type D28
type D29
type D30
type D31
type D32
type D33
type D34
type D35
type D36
type D37
type D38
type D39
type D40
type D41
type D42
type D43
type D44
type D45
type D46
type D47
type D48
type D49
type D50
type D51
type D52
type D53
type D54
type D55
type D56
type D57
type D58
type D59
type D60
type D61
type D62
type D63
type D64
type D65
type D66
type D67
type D68
type D69
type D70
type D71
type D72
type D73
type D74
type D75
type D76
type D77
type D78
type D79
type D80
type D81
type D82
type D83
type D84
type D85
type D86
type D87
type D88
type D89
type D90
type D91
type D92
type D93
type D94
type D95
type D96
type D97
type D98
type D99
type D100
type D101
type D102
type D103
type D104
type D105
type D106
type D107
type D108
type D109
type D110
type D111
type D112
type D113
type D114
type D115
type D116
type D117
type D118
type D119
type D120
type D121
type D122
type D123
type D124
type D125
type D126
type D127
type D128
type D129
type D130
type D131
type D132
type D133
type D134
type D135
type D136
type D137
type D138
type D139
type D140
type D141
type D142
type D143
type D144
type D145
type D146
type D147
type D148
type D149
type D150
type D151
type D152
type D153
type D154
type D155
type D156
type D157
type D158
type D159
type D160
type D161
type D162
type D163
type D164
type D165
type D166
type D167
type D168
type D169
type D170
type D171
type D172
type D173
type D174
type D175
type D176
type D177
type D178
type D179
type D180
type D181
type D182
type D183
type D184
type D185
type D186
type D187
type D188
type D189
type D190
type D191
type D192
type D193
type D194
type D195
type D196
type D197
type D198
type D199
type D200
type D201
type D202
type D203
type D204
type D205
type D206
type D207
type D208
type D209
type D210
type D211
type D212
type D213
type D214
type D215
type D216
type D217
type D218
type D219
type D220
type D221
type D222
type D223
type D224
type D225
type D226
type D227
type D228
type D229
type D230
type D231
type D232
type D233
type D234
type D235
type D236
type D237
type D238
type D239
type D240
type D241
type D242
type D243
type D244
type D245
type D246
type D247
type D248
type D249
type D250
type D251
type D252
type D253
type D254
type D255
type D256
type DN1
type DN2
type DN3
type DN4
type DN5
type DN6
type DN7
type DN8
type DN9
type DN10
type DN11
type DN12
type DN13
type DN14
type DN15
type DN16
type DN17
type DN18
type DN19
type DN20
type DN21
type DN22
type DN23
type DN24
type DN25
type DN26
type DN27
type DN28
type DN29
type DN30
type DN31
type DN32
type DN33
type DN34
type DN35
type DN36
type DN37
type DN38
type DN39
type DN40
type DN41
type DN42
type DN43
type DN44
type DN45
type DN46
type DN47
type DN48
type DN49
type DN50
type DN51
type DN52
type DN53
type DN54
type DN55
type DN56
type DN57
type DN58
type DN59
type DN60
type DN61
type DN62
type DN63
type DN64
type DN65
type DN66
type DN67
type DN68
type DN69
type DN70
type DN71
type DN72
type DN73
type DN74
type DN75
type DN76
type DN77
type DN78
type DN79
type DN80
type DN81
type DN82
type DN83
type DN84
type DN85
type DN86
type DN87
type DN88
type DN89
type DN90
type DN91
type DN92
type DN93
type DN94
type DN95
type DN96
type DN97
type DN98
type DN99
type DN100
type DN101
type DN102
type DN103
type DN104
type DN105
type DN106
type DN107
type DN108
type DN109
type DN110
type DN111
type DN112
type DN113
type DN114
type DN115
type DN116
type DN117
type DN118
type DN119
type DN120
type DN121
type DN122
type DN123
type DN124
type DN125
type DN126
type DN127
type DN128
type DN129
type DN130
type DN131
type DN132
type DN133
type DN134
type DN135
type DN136
type DN137
type DN138
type DN139
type DN140
type DN141
type DN142
type DN143
type DN144
type DN145
type DN146
type DN147
type DN148
type DN149
type DN150
type DN151
type DN152
type DN153
type DN154
type DN155
type DN156
type DN157
type DN158
type DN159
type DN160
type DN161
type DN162
type DN163
type DN164
type DN165
type DN166
type DN167
type DN168
type DN169
type DN170
type DN171
type DN172
type DN173
type DN174
type DN175
type DN176
type DN177
type DN178
type DN179
type DN180
type DN181
type DN182
type DN183
type DN184
type DN185
type DN186
type DN187
type DN188
type DN189
type DN190
type DN191
type DN192
type DN193
type DN194
type DN195
type DN196
type DN197
type DN198
type DN199
type DN200
type DN201
type DN202
type DN203
type DN204
type DN205
type DN206
type DN207
type DN208
type DN209
type DN210
type DN211
type DN212
type DN213
type DN214
type DN215
type DN216
type DN217
type DN218
type DN219
type DN220
type DN221
type DN222
type DN223
type DN224
type DN225
type DN226
type DN227
type DN228
type DN229
type DN230
type DN231
type DN232
type DN233
type DN234
type DN235
type DN236
type DN237
type DN238
type DN239
type DN240
type DN241
type DN242
type DN243
type DN244
type DN245
type DN246
type DN247
type DN248
type DN249
type DN250
type DN251
type DN252
type DN253
type DN254
type DN255
type DN256