tfp-0.8: Type-level integers, booleans, lists using type families
Types.Data.Num.Decimal.Literals
type DecPos1 p0 = Dec (DecN :. p0)Source
type DecPos2 p1 p0 = Dec ((DecN :. p1) :. p0)Source
type DecPos3 p2 p1 p0 = Dec (((DecN :. p2) :. p1) :. p0)Source
type DecPos4 p3 p2 p1 p0 = Dec ((((DecN :. p3) :. p2) :. p1) :. p0)Source
type DecPos5 p4 p3 p2 p1 p0 = Dec (((((DecN :. p4) :. p3) :. p2) :. p1) :. p0)Source
type DecPos6 p5 p4 p3 p2 p1 p0 = Dec ((((((DecN :. p5) :. p4) :. p3) :. p2) :. p1) :. p0)Source
type DecPos7 p6 p5 p4 p3 p2 p1 p0 = Dec (((((((DecN :. p6) :. p5) :. p4) :. p3) :. p2) :. p1) :. p0)Source
type DecNeg n = Dec (Neg' n)Source
type DecNeg1 p0 = DecNeg (DecN :. p0)Source
type DecNeg2 p1 p0 = DecNeg ((DecN :. p1) :. p0)Source
type DecNeg3 p2 p1 p0 = DecNeg (((DecN :. p2) :. p1) :. p0)Source
type DecNeg4 p3 p2 p1 p0 = DecNeg ((((DecN :. p3) :. p2) :. p1) :. p0)Source
type DecNeg5 p4 p3 p2 p1 p0 = DecNeg (((((DecN :. p4) :. p3) :. p2) :. p1) :. p0)Source
type DecNeg6 p5 p4 p3 p2 p1 p0 = DecNeg ((((((DecN :. p5) :. p4) :. p3) :. p2) :. p1) :. p0)Source
type DecNeg7 p6 p5 p4 p3 p2 p1 p0 = DecNeg (((((((DecN :. p6) :. p5) :. p4) :. p3) :. p2) :. p1) :. p0)Source
type D0 = Dec DecNSource
type D1 = DecPos1 Dec1Source
type D2 = DecPos1 Dec2Source
type D3 = DecPos1 Dec3Source
type D4 = DecPos1 Dec4Source
type D5 = DecPos1 Dec5Source
type D6 = DecPos1 Dec6Source
type D7 = DecPos1 Dec7Source
type D8 = DecPos1 Dec8Source
type D9 = DecPos1 Dec9Source
type D10 = DecPos2 Dec1 Dec0Source
type D11 = DecPos2 Dec1 Dec1Source
type D12 = DecPos2 Dec1 Dec2Source
type D13 = DecPos2 Dec1 Dec3Source
type D14 = DecPos2 Dec1 Dec4Source
type D15 = DecPos2 Dec1 Dec5Source
type D16 = DecPos2 Dec1 Dec6Source
type D17 = DecPos2 Dec1 Dec7Source
type D18 = DecPos2 Dec1 Dec8Source
type D19 = DecPos2 Dec1 Dec9Source
type D20 = DecPos2 Dec2 Dec0Source
type D21 = DecPos2 Dec2 Dec1Source
type D22 = DecPos2 Dec2 Dec2Source
type D23 = DecPos2 Dec2 Dec3Source
type D24 = DecPos2 Dec2 Dec4Source
type D25 = DecPos2 Dec2 Dec5Source
type D26 = DecPos2 Dec2 Dec6Source
type D27 = DecPos2 Dec2 Dec7Source
type D28 = DecPos2 Dec2 Dec8Source
type D29 = DecPos2 Dec2 Dec9Source
type D30 = DecPos2 Dec3 Dec0Source
type D31 = DecPos2 Dec3 Dec1Source
type D32 = DecPos2 Dec3 Dec2Source
type D33 = DecPos2 Dec3 Dec3Source
type D34 = DecPos2 Dec3 Dec4Source
type D35 = DecPos2 Dec3 Dec5Source
type D36 = DecPos2 Dec3 Dec6Source
type D37 = DecPos2 Dec3 Dec7Source
type D38 = DecPos2 Dec3 Dec8Source
type D39 = DecPos2 Dec3 Dec9Source
type D40 = DecPos2 Dec4 Dec0Source
type D41 = DecPos2 Dec4 Dec1Source
type D42 = DecPos2 Dec4 Dec2Source
type D43 = DecPos2 Dec4 Dec3Source
type D44 = DecPos2 Dec4 Dec4Source
type D45 = DecPos2 Dec4 Dec5Source
type D46 = DecPos2 Dec4 Dec6Source
type D47 = DecPos2 Dec4 Dec7Source
type D48 = DecPos2 Dec4 Dec8Source
type D49 = DecPos2 Dec4 Dec9Source
type D50 = DecPos2 Dec5 Dec0Source
type D51 = DecPos2 Dec5 Dec1Source
type D52 = DecPos2 Dec5 Dec2Source
type D53 = DecPos2 Dec5 Dec3Source
type D54 = DecPos2 Dec5 Dec4Source
type D55 = DecPos2 Dec5 Dec5Source
type D56 = DecPos2 Dec5 Dec6Source
type D57 = DecPos2 Dec5 Dec7Source
type D58 = DecPos2 Dec5 Dec8Source
type D59 = DecPos2 Dec5 Dec9Source
type D60 = DecPos2 Dec6 Dec0Source
type D61 = DecPos2 Dec6 Dec1Source
type D62 = DecPos2 Dec6 Dec2Source
type D63 = DecPos2 Dec6 Dec3Source
type D64 = DecPos2 Dec6 Dec4Source
type D65 = DecPos2 Dec6 Dec5Source
type D66 = DecPos2 Dec6 Dec6Source
type D67 = DecPos2 Dec6 Dec7Source
type D68 = DecPos2 Dec6 Dec8Source
type D69 = DecPos2 Dec6 Dec9Source
type D70 = DecPos2 Dec7 Dec0Source
type D71 = DecPos2 Dec7 Dec1Source
type D72 = DecPos2 Dec7 Dec2Source
type D73 = DecPos2 Dec7 Dec3Source
type D74 = DecPos2 Dec7 Dec4Source
type D75 = DecPos2 Dec7 Dec5Source
type D76 = DecPos2 Dec7 Dec6Source
type D77 = DecPos2 Dec7 Dec7Source
type D78 = DecPos2 Dec7 Dec8Source
type D79 = DecPos2 Dec7 Dec9Source
type D80 = DecPos2 Dec8 Dec0Source
type D81 = DecPos2 Dec8 Dec1Source
type D82 = DecPos2 Dec8 Dec2Source
type D83 = DecPos2 Dec8 Dec3Source
type D84 = DecPos2 Dec8 Dec4Source
type D85 = DecPos2 Dec8 Dec5Source
type D86 = DecPos2 Dec8 Dec6Source
type D87 = DecPos2 Dec8 Dec7Source
type D88 = DecPos2 Dec8 Dec8Source
type D89 = DecPos2 Dec8 Dec9Source
type D90 = DecPos2 Dec9 Dec0Source
type D91 = DecPos2 Dec9 Dec1Source
type D92 = DecPos2 Dec9 Dec2Source
type D93 = DecPos2 Dec9 Dec3Source
type D94 = DecPos2 Dec9 Dec4Source
type D95 = DecPos2 Dec9 Dec5Source
type D96 = DecPos2 Dec9 Dec6Source
type D97 = DecPos2 Dec9 Dec7Source
type D98 = DecPos2 Dec9 Dec8Source
type D99 = DecPos2 Dec9 Dec9Source
type D100 = DecPos3 Dec1 Dec0 Dec0Source
type D101 = DecPos3 Dec1 Dec0 Dec1Source
type D102 = DecPos3 Dec1 Dec0 Dec2Source
type D103 = DecPos3 Dec1 Dec0 Dec3Source
type D104 = DecPos3 Dec1 Dec0 Dec4Source
type D105 = DecPos3 Dec1 Dec0 Dec5Source
type D106 = DecPos3 Dec1 Dec0 Dec6Source
type D107 = DecPos3 Dec1 Dec0 Dec7Source
type D108 = DecPos3 Dec1 Dec0 Dec8Source
type D109 = DecPos3 Dec1 Dec0 Dec9Source
type D110 = DecPos3 Dec1 Dec1 Dec0Source
type D111 = DecPos3 Dec1 Dec1 Dec1Source
type D112 = DecPos3 Dec1 Dec1 Dec2Source
type D113 = DecPos3 Dec1 Dec1 Dec3Source
type D114 = DecPos3 Dec1 Dec1 Dec4Source
type D115 = DecPos3 Dec1 Dec1 Dec5Source
type D116 = DecPos3 Dec1 Dec1 Dec6Source
type D117 = DecPos3 Dec1 Dec1 Dec7Source
type D118 = DecPos3 Dec1 Dec1 Dec8Source
type D119 = DecPos3 Dec1 Dec1 Dec9Source
type D120 = DecPos3 Dec1 Dec2 Dec0Source
type D121 = DecPos3 Dec1 Dec2 Dec1Source
type D122 = DecPos3 Dec1 Dec2 Dec2Source
type D123 = DecPos3 Dec1 Dec2 Dec3Source
type D124 = DecPos3 Dec1 Dec2 Dec4Source
type D125 = DecPos3 Dec1 Dec2 Dec5Source
type D126 = DecPos3 Dec1 Dec2 Dec6Source
type D127 = DecPos3 Dec1 Dec2 Dec7Source
type D128 = DecPos3 Dec1 Dec2 Dec8Source
type D129 = DecPos3 Dec1 Dec2 Dec9Source
type D130 = DecPos3 Dec1 Dec3 Dec0Source
type D131 = DecPos3 Dec1 Dec3 Dec1Source
type D132 = DecPos3 Dec1 Dec3 Dec2Source
type D133 = DecPos3 Dec1 Dec3 Dec3Source
type D134 = DecPos3 Dec1 Dec3 Dec4Source
type D135 = DecPos3 Dec1 Dec3 Dec5Source
type D136 = DecPos3 Dec1 Dec3 Dec6Source
type D137 = DecPos3 Dec1 Dec3 Dec7Source
type D138 = DecPos3 Dec1 Dec3 Dec8Source
type D139 = DecPos3 Dec1 Dec3 Dec9Source
type D140 = DecPos3 Dec1 Dec4 Dec0Source
type D141 = DecPos3 Dec1 Dec4 Dec1Source
type D142 = DecPos3 Dec1 Dec4 Dec2Source
type D143 = DecPos3 Dec1 Dec4 Dec3Source
type D144 = DecPos3 Dec1 Dec4 Dec4Source
type D145 = DecPos3 Dec1 Dec4 Dec5Source
type D146 = DecPos3 Dec1 Dec4 Dec6Source
type D147 = DecPos3 Dec1 Dec4 Dec7Source
type D148 = DecPos3 Dec1 Dec4 Dec8Source
type D149 = DecPos3 Dec1 Dec4 Dec9Source
type D150 = DecPos3 Dec1 Dec5 Dec0Source
type D151 = DecPos3 Dec1 Dec5 Dec1Source
type D152 = DecPos3 Dec1 Dec5 Dec2Source
type D153 = DecPos3 Dec1 Dec5 Dec3Source
type D154 = DecPos3 Dec1 Dec5 Dec4Source
type D155 = DecPos3 Dec1 Dec5 Dec5Source
type D156 = DecPos3 Dec1 Dec5 Dec6Source
type D157 = DecPos3 Dec1 Dec5 Dec7Source
type D158 = DecPos3 Dec1 Dec5 Dec8Source
type D159 = DecPos3 Dec1 Dec5 Dec9Source
type D160 = DecPos3 Dec1 Dec6 Dec0Source
type D161 = DecPos3 Dec1 Dec6 Dec1Source
type D162 = DecPos3 Dec1 Dec6 Dec2Source
type D163 = DecPos3 Dec1 Dec6 Dec3Source
type D164 = DecPos3 Dec1 Dec6 Dec4Source
type D165 = DecPos3 Dec1 Dec6 Dec5Source
type D166 = DecPos3 Dec1 Dec6 Dec6Source
type D167 = DecPos3 Dec1 Dec6 Dec7Source
type D168 = DecPos3 Dec1 Dec6 Dec8Source
type D169 = DecPos3 Dec1 Dec6 Dec9Source
type D170 = DecPos3 Dec1 Dec7 Dec0Source
type D171 = DecPos3 Dec1 Dec7 Dec1Source
type D172 = DecPos3 Dec1 Dec7 Dec2Source
type D173 = DecPos3 Dec1 Dec7 Dec3Source
type D174 = DecPos3 Dec1 Dec7 Dec4Source
type D175 = DecPos3 Dec1 Dec7 Dec5Source
type D176 = DecPos3 Dec1 Dec7 Dec6Source
type D177 = DecPos3 Dec1 Dec7 Dec7Source
type D178 = DecPos3 Dec1 Dec7 Dec8Source
type D179 = DecPos3 Dec1 Dec7 Dec9Source
type D180 = DecPos3 Dec1 Dec8 Dec0Source
type D181 = DecPos3 Dec1 Dec8 Dec1Source
type D182 = DecPos3 Dec1 Dec8 Dec2Source
type D183 = DecPos3 Dec1 Dec8 Dec3Source
type D184 = DecPos3 Dec1 Dec8 Dec4Source
type D185 = DecPos3 Dec1 Dec8 Dec5Source
type D186 = DecPos3 Dec1 Dec8 Dec6Source
type D187 = DecPos3 Dec1 Dec8 Dec7Source
type D188 = DecPos3 Dec1 Dec8 Dec8Source
type D189 = DecPos3 Dec1 Dec8 Dec9Source
type D190 = DecPos3 Dec1 Dec9 Dec0Source
type D191 = DecPos3 Dec1 Dec9 Dec1Source
type D192 = DecPos3 Dec1 Dec9 Dec2Source
type D193 = DecPos3 Dec1 Dec9 Dec3Source
type D194 = DecPos3 Dec1 Dec9 Dec4Source
type D195 = DecPos3 Dec1 Dec9 Dec5Source
type D196 = DecPos3 Dec1 Dec9 Dec6Source
type D197 = DecPos3 Dec1 Dec9 Dec7Source
type D198 = DecPos3 Dec1 Dec9 Dec8Source
type D199 = DecPos3 Dec1 Dec9 Dec9Source
type D200 = DecPos3 Dec2 Dec0 Dec0Source
type D201 = DecPos3 Dec2 Dec0 Dec1Source
type D202 = DecPos3 Dec2 Dec0 Dec2Source
type D203 = DecPos3 Dec2 Dec0 Dec3Source
type D204 = DecPos3 Dec2 Dec0 Dec4Source
type D205 = DecPos3 Dec2 Dec0 Dec5Source
type D206 = DecPos3 Dec2 Dec0 Dec6Source
type D207 = DecPos3 Dec2 Dec0 Dec7Source
type D208 = DecPos3 Dec2 Dec0 Dec8Source
type D209 = DecPos3 Dec2 Dec0 Dec9Source
type D210 = DecPos3 Dec2 Dec1 Dec0Source
type D211 = DecPos3 Dec2 Dec1 Dec1Source
type D212 = DecPos3 Dec2 Dec1 Dec2Source
type D213 = DecPos3 Dec2 Dec1 Dec3Source
type D214 = DecPos3 Dec2 Dec1 Dec4Source
type D215 = DecPos3 Dec2 Dec1 Dec5Source
type D216 = DecPos3 Dec2 Dec1 Dec6Source
type D217 = DecPos3 Dec2 Dec1 Dec7Source
type D218 = DecPos3 Dec2 Dec1 Dec8Source
type D219 = DecPos3 Dec2 Dec1 Dec9Source
type D220 = DecPos3 Dec2 Dec2 Dec0Source
type D221 = DecPos3 Dec2 Dec2 Dec1Source
type D222 = DecPos3 Dec2 Dec2 Dec2Source
type D223 = DecPos3 Dec2 Dec2 Dec3Source
type D224 = DecPos3 Dec2 Dec2 Dec4Source
type D225 = DecPos3 Dec2 Dec2 Dec5Source
type D226 = DecPos3 Dec2 Dec2 Dec6Source
type D227 = DecPos3 Dec2 Dec2 Dec7Source
type D228 = DecPos3 Dec2 Dec2 Dec8Source
type D229 = DecPos3 Dec2 Dec2 Dec9Source
type D230 = DecPos3 Dec2 Dec3 Dec0Source
type D231 = DecPos3 Dec2 Dec3 Dec1Source
type D232 = DecPos3 Dec2 Dec3 Dec2Source
type D233 = DecPos3 Dec2 Dec3 Dec3Source
type D234 = DecPos3 Dec2 Dec3 Dec4Source
type D235 = DecPos3 Dec2 Dec3 Dec5Source
type D236 = DecPos3 Dec2 Dec3 Dec6Source
type D237 = DecPos3 Dec2 Dec3 Dec7Source
type D238 = DecPos3 Dec2 Dec3 Dec8Source
type D239 = DecPos3 Dec2 Dec3 Dec9Source
type D240 = DecPos3 Dec2 Dec4 Dec0Source
type D241 = DecPos3 Dec2 Dec4 Dec1Source
type D242 = DecPos3 Dec2 Dec4 Dec2Source
type D243 = DecPos3 Dec2 Dec4 Dec3Source
type D244 = DecPos3 Dec2 Dec4 Dec4Source
type D245 = DecPos3 Dec2 Dec4 Dec5Source
type D246 = DecPos3 Dec2 Dec4 Dec6Source
type D247 = DecPos3 Dec2 Dec4 Dec7Source
type D248 = DecPos3 Dec2 Dec4 Dec8Source
type D249 = DecPos3 Dec2 Dec4 Dec9Source
type D250 = DecPos3 Dec2 Dec5 Dec0Source
type D251 = DecPos3 Dec2 Dec5 Dec1Source
type D252 = DecPos3 Dec2 Dec5 Dec2Source
type D253 = DecPos3 Dec2 Dec5 Dec3Source
type D254 = DecPos3 Dec2 Dec5 Dec4Source
type D255 = DecPos3 Dec2 Dec5 Dec5Source
type D256 = DecPos3 Dec2 Dec5 Dec6Source
type DN1 = DecNeg1 Dec1Source
type DN2 = DecNeg1 Dec2Source
type DN3 = DecNeg1 Dec3Source
type DN4 = DecNeg1 Dec4Source
type DN5 = DecNeg1 Dec5Source
type DN6 = DecNeg1 Dec6Source
type DN7 = DecNeg1 Dec7Source
type DN8 = DecNeg1 Dec8Source
type DN9 = DecNeg1 Dec9Source
type DN10 = DecNeg2 Dec1 Dec0Source
type DN11 = DecNeg2 Dec1 Dec1Source
type DN12 = DecNeg2 Dec1 Dec2Source
type DN13 = DecNeg2 Dec1 Dec3Source
type DN14 = DecNeg2 Dec1 Dec4Source
type DN15 = DecNeg2 Dec1 Dec5Source
type DN16 = DecNeg2 Dec1 Dec6Source
type DN17 = DecNeg2 Dec1 Dec7Source
type DN18 = DecNeg2 Dec1 Dec8Source
type DN19 = DecNeg2 Dec1 Dec9Source
type DN20 = DecNeg2 Dec2 Dec0Source
type DN21 = DecNeg2 Dec2 Dec1Source
type DN22 = DecNeg2 Dec2 Dec2Source
type DN23 = DecNeg2 Dec2 Dec3Source
type DN24 = DecNeg2 Dec2 Dec4Source
type DN25 = DecNeg2 Dec2 Dec5Source
type DN26 = DecNeg2 Dec2 Dec6Source
type DN27 = DecNeg2 Dec2 Dec7Source
type DN28 = DecNeg2 Dec2 Dec8Source
type DN29 = DecNeg2 Dec2 Dec9Source
type DN30 = DecNeg2 Dec3 Dec0Source
type DN31 = DecNeg2 Dec3 Dec1Source
type DN32 = DecNeg2 Dec3 Dec2Source
type DN33 = DecNeg2 Dec3 Dec3Source
type DN34 = DecNeg2 Dec3 Dec4Source
type DN35 = DecNeg2 Dec3 Dec5Source
type DN36 = DecNeg2 Dec3 Dec6Source
type DN37 = DecNeg2 Dec3 Dec7Source
type DN38 = DecNeg2 Dec3 Dec8Source
type DN39 = DecNeg2 Dec3 Dec9Source
type DN40 = DecNeg2 Dec4 Dec0Source
type DN41 = DecNeg2 Dec4 Dec1Source
type DN42 = DecNeg2 Dec4 Dec2Source
type DN43 = DecNeg2 Dec4 Dec3Source
type DN44 = DecNeg2 Dec4 Dec4Source
type DN45 = DecNeg2 Dec4 Dec5Source
type DN46 = DecNeg2 Dec4 Dec6Source
type DN47 = DecNeg2 Dec4 Dec7Source
type DN48 = DecNeg2 Dec4 Dec8Source
type DN49 = DecNeg2 Dec4 Dec9Source
type DN50 = DecNeg2 Dec5 Dec0Source
type DN51 = DecNeg2 Dec5 Dec1Source
type DN52 = DecNeg2 Dec5 Dec2Source
type DN53 = DecNeg2 Dec5 Dec3Source
type DN54 = DecNeg2 Dec5 Dec4Source
type DN55 = DecNeg2 Dec5 Dec5Source
type DN56 = DecNeg2 Dec5 Dec6Source
type DN57 = DecNeg2 Dec5 Dec7Source
type DN58 = DecNeg2 Dec5 Dec8Source
type DN59 = DecNeg2 Dec5 Dec9Source
type DN60 = DecNeg2 Dec6 Dec0Source
type DN61 = DecNeg2 Dec6 Dec1Source
type DN62 = DecNeg2 Dec6 Dec2Source
type DN63 = DecNeg2 Dec6 Dec3Source
type DN64 = DecNeg2 Dec6 Dec4Source
type DN65 = DecNeg2 Dec6 Dec5Source
type DN66 = DecNeg2 Dec6 Dec6Source
type DN67 = DecNeg2 Dec6 Dec7Source
type DN68 = DecNeg2 Dec6 Dec8Source
type DN69 = DecNeg2 Dec6 Dec9Source
type DN70 = DecNeg2 Dec7 Dec0Source
type DN71 = DecNeg2 Dec7 Dec1Source
type DN72 = DecNeg2 Dec7 Dec2Source
type DN73 = DecNeg2 Dec7 Dec3Source
type DN74 = DecNeg2 Dec7 Dec4Source
type DN75 = DecNeg2 Dec7 Dec5Source
type DN76 = DecNeg2 Dec7 Dec6Source
type DN77 = DecNeg2 Dec7 Dec7Source
type DN78 = DecNeg2 Dec7 Dec8Source
type DN79 = DecNeg2 Dec7 Dec9Source
type DN80 = DecNeg2 Dec8 Dec0Source
type DN81 = DecNeg2 Dec8 Dec1Source
type DN82 = DecNeg2 Dec8 Dec2Source
type DN83 = DecNeg2 Dec8 Dec3Source
type DN84 = DecNeg2 Dec8 Dec4Source
type DN85 = DecNeg2 Dec8 Dec5Source
type DN86 = DecNeg2 Dec8 Dec6Source
type DN87 = DecNeg2 Dec8 Dec7Source
type DN88 = DecNeg2 Dec8 Dec8Source
type DN89 = DecNeg2 Dec8 Dec9Source
type DN90 = DecNeg2 Dec9 Dec0Source
type DN91 = DecNeg2 Dec9 Dec1Source
type DN92 = DecNeg2 Dec9 Dec2Source
type DN93 = DecNeg2 Dec9 Dec3Source
type DN94 = DecNeg2 Dec9 Dec4Source
type DN95 = DecNeg2 Dec9 Dec5Source
type DN96 = DecNeg2 Dec9 Dec6Source
type DN97 = DecNeg2 Dec9 Dec7Source
type DN98 = DecNeg2 Dec9 Dec8Source
type DN99 = DecNeg2 Dec9 Dec9Source
type DN100 = DecNeg3 Dec1 Dec0 Dec0Source
type DN101 = DecNeg3 Dec1 Dec0 Dec1Source
type DN102 = DecNeg3 Dec1 Dec0 Dec2Source
type DN103 = DecNeg3 Dec1 Dec0 Dec3Source
type DN104 = DecNeg3 Dec1 Dec0 Dec4Source
type DN105 = DecNeg3 Dec1 Dec0 Dec5Source
type DN106 = DecNeg3 Dec1 Dec0 Dec6Source
type DN107 = DecNeg3 Dec1 Dec0 Dec7Source
type DN108 = DecNeg3 Dec1 Dec0 Dec8Source
type DN109 = DecNeg3 Dec1 Dec0 Dec9Source
type DN110 = DecNeg3 Dec1 Dec1 Dec0Source
type DN111 = DecNeg3 Dec1 Dec1 Dec1Source
type DN112 = DecNeg3 Dec1 Dec1 Dec2Source
type DN113 = DecNeg3 Dec1 Dec1 Dec3Source
type DN114 = DecNeg3 Dec1 Dec1 Dec4Source
type DN115 = DecNeg3 Dec1 Dec1 Dec5Source
type DN116 = DecNeg3 Dec1 Dec1 Dec6Source
type DN117 = DecNeg3 Dec1 Dec1 Dec7Source
type DN118 = DecNeg3 Dec1 Dec1 Dec8Source
type DN119 = DecNeg3 Dec1 Dec1 Dec9Source
type DN120 = DecNeg3 Dec1 Dec2 Dec0Source
type DN121 = DecNeg3 Dec1 Dec2 Dec1Source
type DN122 = DecNeg3 Dec1 Dec2 Dec2Source
type DN123 = DecNeg3 Dec1 Dec2 Dec3Source
type DN124 = DecNeg3 Dec1 Dec2 Dec4Source
type DN125 = DecNeg3 Dec1 Dec2 Dec5Source
type DN126 = DecNeg3 Dec1 Dec2 Dec6Source
type DN127 = DecNeg3 Dec1 Dec2 Dec7Source
type DN128 = DecNeg3 Dec1 Dec2 Dec8Source
type DN129 = DecNeg3 Dec1 Dec2 Dec9Source
type DN130 = DecNeg3 Dec1 Dec3 Dec0Source
type DN131 = DecNeg3 Dec1 Dec3 Dec1Source
type DN132 = DecNeg3 Dec1 Dec3 Dec2Source
type DN133 = DecNeg3 Dec1 Dec3 Dec3Source
type DN134 = DecNeg3 Dec1 Dec3 Dec4Source
type DN135 = DecNeg3 Dec1 Dec3 Dec5Source
type DN136 = DecNeg3 Dec1 Dec3 Dec6Source
type DN137 = DecNeg3 Dec1 Dec3 Dec7Source
type DN138 = DecNeg3 Dec1 Dec3 Dec8Source
type DN139 = DecNeg3 Dec1 Dec3 Dec9Source
type DN140 = DecNeg3 Dec1 Dec4 Dec0Source
type DN141 = DecNeg3 Dec1 Dec4 Dec1Source
type DN142 = DecNeg3 Dec1 Dec4 Dec2Source
type DN143 = DecNeg3 Dec1 Dec4 Dec3Source
type DN144 = DecNeg3 Dec1 Dec4 Dec4Source
type DN145 = DecNeg3 Dec1 Dec4 Dec5Source
type DN146 = DecNeg3 Dec1 Dec4 Dec6Source
type DN147 = DecNeg3 Dec1 Dec4 Dec7Source
type DN148 = DecNeg3 Dec1 Dec4 Dec8Source
type DN149 = DecNeg3 Dec1 Dec4 Dec9Source
type DN150 = DecNeg3 Dec1 Dec5 Dec0Source
type DN151 = DecNeg3 Dec1 Dec5 Dec1Source
type DN152 = DecNeg3 Dec1 Dec5 Dec2Source
type DN153 = DecNeg3 Dec1 Dec5 Dec3Source
type DN154 = DecNeg3 Dec1 Dec5 Dec4Source
type DN155 = DecNeg3 Dec1 Dec5 Dec5Source
type DN156 = DecNeg3 Dec1 Dec5 Dec6Source
type DN157 = DecNeg3 Dec1 Dec5 Dec7Source
type DN158 = DecNeg3 Dec1 Dec5 Dec8Source
type DN159 = DecNeg3 Dec1 Dec5 Dec9Source
type DN160 = DecNeg3 Dec1 Dec6 Dec0Source
type DN161 = DecNeg3 Dec1 Dec6 Dec1Source
type DN162 = DecNeg3 Dec1 Dec6 Dec2Source
type DN163 = DecNeg3 Dec1 Dec6 Dec3Source
type DN164 = DecNeg3 Dec1 Dec6 Dec4Source
type DN165 = DecNeg3 Dec1 Dec6 Dec5Source
type DN166 = DecNeg3 Dec1 Dec6 Dec6Source
type DN167 = DecNeg3 Dec1 Dec6 Dec7Source
type DN168 = DecNeg3 Dec1 Dec6 Dec8Source
type DN169 = DecNeg3 Dec1 Dec6 Dec9Source
type DN170 = DecNeg3 Dec1 Dec7 Dec0Source
type DN171 = DecNeg3 Dec1 Dec7 Dec1Source
type DN172 = DecNeg3 Dec1 Dec7 Dec2Source
type DN173 = DecNeg3 Dec1 Dec7 Dec3Source
type DN174 = DecNeg3 Dec1 Dec7 Dec4Source
type DN175 = DecNeg3 Dec1 Dec7 Dec5Source
type DN176 = DecNeg3 Dec1 Dec7 Dec6Source
type DN177 = DecNeg3 Dec1 Dec7 Dec7Source
type DN178 = DecNeg3 Dec1 Dec7 Dec8Source
type DN179 = DecNeg3 Dec1 Dec7 Dec9Source
type DN180 = DecNeg3 Dec1 Dec8 Dec0Source
type DN181 = DecNeg3 Dec1 Dec8 Dec1Source
type DN182 = DecNeg3 Dec1 Dec8 Dec2Source
type DN183 = DecNeg3 Dec1 Dec8 Dec3Source
type DN184 = DecNeg3 Dec1 Dec8 Dec4Source
type DN185 = DecNeg3 Dec1 Dec8 Dec5Source
type DN186 = DecNeg3 Dec1 Dec8 Dec6Source
type DN187 = DecNeg3 Dec1 Dec8 Dec7Source
type DN188 = DecNeg3 Dec1 Dec8 Dec8Source
type DN189 = DecNeg3 Dec1 Dec8 Dec9Source
type DN190 = DecNeg3 Dec1 Dec9 Dec0Source
type DN191 = DecNeg3 Dec1 Dec9 Dec1Source
type DN192 = DecNeg3 Dec1 Dec9 Dec2Source
type DN193 = DecNeg3 Dec1 Dec9 Dec3Source
type DN194 = DecNeg3 Dec1 Dec9 Dec4Source
type DN195 = DecNeg3 Dec1 Dec9 Dec5Source
type DN196 = DecNeg3 Dec1 Dec9 Dec6Source
type DN197 = DecNeg3 Dec1 Dec9 Dec7Source
type DN198 = DecNeg3 Dec1 Dec9 Dec8Source
type DN199 = DecNeg3 Dec1 Dec9 Dec9Source
type DN200 = DecNeg3 Dec2 Dec0 Dec0Source
type DN201 = DecNeg3 Dec2 Dec0 Dec1Source
type DN202 = DecNeg3 Dec2 Dec0 Dec2Source
type DN203 = DecNeg3 Dec2 Dec0 Dec3Source
type DN204 = DecNeg3 Dec2 Dec0 Dec4Source
type DN205 = DecNeg3 Dec2 Dec0 Dec5Source
type DN206 = DecNeg3 Dec2 Dec0 Dec6Source
type DN207 = DecNeg3 Dec2 Dec0 Dec7Source
type DN208 = DecNeg3 Dec2 Dec0 Dec8Source
type DN209 = DecNeg3 Dec2 Dec0 Dec9Source
type DN210 = DecNeg3 Dec2 Dec1 Dec0Source
type DN211 = DecNeg3 Dec2 Dec1 Dec1Source
type DN212 = DecNeg3 Dec2 Dec1 Dec2Source
type DN213 = DecNeg3 Dec2 Dec1 Dec3Source
type DN214 = DecNeg3 Dec2 Dec1 Dec4Source
type DN215 = DecNeg3 Dec2 Dec1 Dec5Source
type DN216 = DecNeg3 Dec2 Dec1 Dec6Source
type DN217 = DecNeg3 Dec2 Dec1 Dec7Source
type DN218 = DecNeg3 Dec2 Dec1 Dec8Source
type DN219 = DecNeg3 Dec2 Dec1 Dec9Source
type DN220 = DecNeg3 Dec2 Dec2 Dec0Source
type DN221 = DecNeg3 Dec2 Dec2 Dec1Source
type DN222 = DecNeg3 Dec2 Dec2 Dec2Source
type DN223 = DecNeg3 Dec2 Dec2 Dec3Source
type DN224 = DecNeg3 Dec2 Dec2 Dec4Source
type DN225 = DecNeg3 Dec2 Dec2 Dec5Source
type DN226 = DecNeg3 Dec2 Dec2 Dec6Source
type DN227 = DecNeg3 Dec2 Dec2 Dec7Source
type DN228 = DecNeg3 Dec2 Dec2 Dec8Source
type DN229 = DecNeg3 Dec2 Dec2 Dec9Source
type DN230 = DecNeg3 Dec2 Dec3 Dec0Source
type DN231 = DecNeg3 Dec2 Dec3 Dec1Source
type DN232 = DecNeg3 Dec2 Dec3 Dec2Source
type DN233 = DecNeg3 Dec2 Dec3 Dec3Source
type DN234 = DecNeg3 Dec2 Dec3 Dec4Source
type DN235 = DecNeg3 Dec2 Dec3 Dec5Source
type DN236 = DecNeg3 Dec2 Dec3 Dec6Source
type DN237 = DecNeg3 Dec2 Dec3 Dec7Source
type DN238 = DecNeg3 Dec2 Dec3 Dec8Source
type DN239 = DecNeg3 Dec2 Dec3 Dec9Source
type DN240 = DecNeg3 Dec2 Dec4 Dec0Source
type DN241 = DecNeg3 Dec2 Dec4 Dec1Source
type DN242 = DecNeg3 Dec2 Dec4 Dec2Source
type DN243 = DecNeg3 Dec2 Dec4 Dec3Source
type DN244 = DecNeg3 Dec2 Dec4 Dec4Source
type DN245 = DecNeg3 Dec2 Dec4 Dec5Source
type DN246 = DecNeg3 Dec2 Dec4 Dec6Source
type DN247 = DecNeg3 Dec2 Dec4 Dec7Source
type DN248 = DecNeg3 Dec2 Dec4 Dec8Source
type DN249 = DecNeg3 Dec2 Dec4 Dec9Source
type DN250 = DecNeg3 Dec2 Dec5 Dec0Source
type DN251 = DecNeg3 Dec2 Dec5 Dec1Source
type DN252 = DecNeg3 Dec2 Dec5 Dec2Source
type DN253 = DecNeg3 Dec2 Dec5 Dec3Source
type DN254 = DecNeg3 Dec2 Dec5 Dec4Source
type DN255 = DecNeg3 Dec2 Dec5 Dec5Source
type DN256 = DecNeg3 Dec2 Dec5 Dec6Source
d0 :: D0Source
d1 :: D1Source
d2 :: D2Source
d3 :: D3Source
d4 :: D4Source
d5 :: D5Source
d6 :: D6Source
d7 :: D7Source
d8 :: D8Source
d9 :: D9Source
d10 :: D10Source
d11 :: D11Source
d12 :: D12Source
d13 :: D13Source
d14 :: D14Source
d15 :: D15Source
d16 :: D16Source
d17 :: D17Source
d18 :: D18Source
d19 :: D19Source
d20 :: D20Source
d21 :: D21Source
d22 :: D22Source
d23 :: D23Source
d24 :: D24Source
d25 :: D25Source
d26 :: D26Source
d27 :: D27Source
d28 :: D28Source
d29 :: D29Source
d30 :: D30Source
d31 :: D31Source
d32 :: D32Source
d33 :: D33Source
d34 :: D34Source
d35 :: D35Source
d36 :: D36Source
d37 :: D37Source
d38 :: D38Source
d39 :: D39Source
d40 :: D40Source
d41 :: D41Source
d42 :: D42Source
d43 :: D43Source
d44 :: D44Source
d45 :: D45Source
d46 :: D46Source
d47 :: D47Source
d48 :: D48Source
d49 :: D49Source
d50 :: D50Source
d51 :: D51Source
d52 :: D52Source
d53 :: D53Source
d54 :: D54Source
d55 :: D55Source
d56 :: D56Source
d57 :: D57Source
d58 :: D58Source
d59 :: D59Source
d60 :: D60Source
d61 :: D61Source
d62 :: D62Source
d63 :: D63Source
d64 :: D64Source
d65 :: D65Source
d66 :: D66Source
d67 :: D67Source
d68 :: D68Source
d69 :: D69Source
d70 :: D70Source
d71 :: D71Source
d72 :: D72Source
d73 :: D73Source
d74 :: D74Source
d75 :: D75Source
d76 :: D76Source
d77 :: D77Source
d78 :: D78Source
d79 :: D79Source
d80 :: D80Source
d81 :: D81Source
d82 :: D82Source
d83 :: D83Source
d84 :: D84Source
d85 :: D85Source
d86 :: D86Source
d87 :: D87Source
d88 :: D88Source
d89 :: D89Source
d90 :: D90Source
d91 :: D91Source
d92 :: D92Source
d93 :: D93Source
d94 :: D94Source
d95 :: D95Source
d96 :: D96Source
d97 :: D97Source
d98 :: D98Source
d99 :: D99Source
d100 :: D100Source
d101 :: D101Source
d102 :: D102Source
d103 :: D103Source
d104 :: D104Source
d105 :: D105Source
d106 :: D106Source
d107 :: D107Source
d108 :: D108Source
d109 :: D109Source
d110 :: D110Source
d111 :: D111Source
d112 :: D112Source
d113 :: D113Source
d114 :: D114Source
d115 :: D115Source
d116 :: D116Source
d117 :: D117Source
d118 :: D118Source
d119 :: D119Source
d120 :: D120Source
d121 :: D121Source
d122 :: D122Source
d123 :: D123Source
d124 :: D124Source
d125 :: D125Source
d126 :: D126Source
d127 :: D127Source
d128 :: D128Source
d129 :: D129Source
d130 :: D130Source
d131 :: D131Source
d132 :: D132Source
d133 :: D133Source
d134 :: D134Source
d135 :: D135Source
d136 :: D136Source
d137 :: D137Source
d138 :: D138Source
d139 :: D139Source
d140 :: D140Source
d141 :: D141Source
d142 :: D142Source
d143 :: D143Source
d144 :: D144Source
d145 :: D145Source
d146 :: D146Source
d147 :: D147Source
d148 :: D148Source
d149 :: D149Source
d150 :: D150Source
d151 :: D151Source
d152 :: D152Source
d153 :: D153Source
d154 :: D154Source
d155 :: D155Source
d156 :: D156Source
d157 :: D157Source
d158 :: D158Source
d159 :: D159Source
d160 :: D160Source
d161 :: D161Source
d162 :: D162Source
d163 :: D163Source
d164 :: D164Source
d165 :: D165Source
d166 :: D166Source
d167 :: D167Source
d168 :: D168Source
d169 :: D169Source
d170 :: D170Source
d171 :: D171Source
d172 :: D172Source
d173 :: D173Source
d174 :: D174Source
d175 :: D175Source
d176 :: D176Source
d177 :: D177Source
d178 :: D178Source
d179 :: D179Source
d180 :: D180Source
d181 :: D181Source
d182 :: D182Source
d183 :: D183Source
d184 :: D184Source
d185 :: D185Source
d186 :: D186Source
d187 :: D187Source
d188 :: D188Source
d189 :: D189Source
d190 :: D190Source
d191 :: D191Source
d192 :: D192Source
d193 :: D193Source
d194 :: D194Source
d195 :: D195Source
d196 :: D196Source
d197 :: D197Source
d198 :: D198Source
d199 :: D199Source
d200 :: D200Source
d201 :: D201Source
d202 :: D202Source
d203 :: D203Source
d204 :: D204Source
d205 :: D205Source
d206 :: D206Source
d207 :: D207Source
d208 :: D208Source
d209 :: D209Source
d210 :: D210Source
d211 :: D211Source
d212 :: D212Source
d213 :: D213Source
d214 :: D214Source
d215 :: D215Source
d216 :: D216Source
d217 :: D217Source
d218 :: D218Source
d219 :: D219Source
d220 :: D220Source
d221 :: D221Source
d222 :: D222Source
d223 :: D223Source
d224 :: D224Source
d225 :: D225Source
d226 :: D226Source
d227 :: D227Source
d228 :: D228Source
d229 :: D229Source
d230 :: D230Source
d231 :: D231Source
d232 :: D232Source
d233 :: D233Source
d234 :: D234Source
d235 :: D235Source
d236 :: D236Source
d237 :: D237Source
d238 :: D238Source
d239 :: D239Source
d240 :: D240Source
d241 :: D241Source
d242 :: D242Source
d243 :: D243Source
d244 :: D244Source
d245 :: D245Source
d246 :: D246Source
d247 :: D247Source
d248 :: D248Source
d249 :: D249Source
d250 :: D250Source
d251 :: D251Source
d252 :: D252Source
d253 :: D253Source
d254 :: D254Source
d255 :: D255Source
d256 :: D256Source
dn1 :: DN1Source
dn2 :: DN2Source
dn3 :: DN3Source
dn4 :: DN4Source
dn5 :: DN5Source
dn6 :: DN6Source
dn7 :: DN7Source
dn8 :: DN8Source
dn9 :: DN9Source
dn10 :: DN10Source
dn11 :: DN11Source
dn12 :: DN12Source
dn13 :: DN13Source
dn14 :: DN14Source
dn15 :: DN15Source
dn16 :: DN16Source
dn17 :: DN17Source
dn18 :: DN18Source
dn19 :: DN19Source
dn20 :: DN20Source
dn21 :: DN21Source
dn22 :: DN22Source
dn23 :: DN23Source
dn24 :: DN24Source
dn25 :: DN25Source
dn26 :: DN26Source
dn27 :: DN27Source
dn28 :: DN28Source
dn29 :: DN29Source
dn30 :: DN30Source
dn31 :: DN31Source
dn32 :: DN32Source
dn33 :: DN33Source
dn34 :: DN34Source
dn35 :: DN35Source
dn36 :: DN36Source
dn37 :: DN37Source
dn38 :: DN38Source
dn39 :: DN39Source
dn40 :: DN40Source
dn41 :: DN41Source
dn42 :: DN42Source
dn43 :: DN43Source
dn44 :: DN44Source
dn45 :: DN45Source
dn46 :: DN46Source
dn47 :: DN47Source
dn48 :: DN48Source
dn49 :: DN49Source
dn50 :: DN50Source
dn51 :: DN51Source
dn52 :: DN52Source
dn53 :: DN53Source
dn54 :: DN54Source
dn55 :: DN55Source
dn56 :: DN56Source
dn57 :: DN57Source
dn58 :: DN58Source
dn59 :: DN59Source
dn60 :: DN60Source
dn61 :: DN61Source
dn62 :: DN62Source
dn63 :: DN63Source
dn64 :: DN64Source
dn65 :: DN65Source
dn66 :: DN66Source
dn67 :: DN67Source
dn68 :: DN68Source
dn69 :: DN69Source
dn70 :: DN70Source
dn71 :: DN71Source
dn72 :: DN72Source
dn73 :: DN73Source
dn74 :: DN74Source
dn75 :: DN75Source
dn76 :: DN76Source
dn77 :: DN77Source
dn78 :: DN78Source
dn79 :: DN79Source
dn80 :: DN80Source
dn81 :: DN81Source
dn82 :: DN82Source
dn83 :: DN83Source
dn84 :: DN84Source
dn85 :: DN85Source
dn86 :: DN86Source
dn87 :: DN87Source
dn88 :: DN88Source
dn89 :: DN89Source
dn90 :: DN90Source
dn91 :: DN91Source
dn92 :: DN92Source
dn93 :: DN93Source
dn94 :: DN94Source
dn95 :: DN95Source
dn96 :: DN96Source
dn97 :: DN97Source
dn98 :: DN98Source
dn99 :: DN99Source
dn100 :: DN100Source
dn101 :: DN101Source
dn102 :: DN102Source
dn103 :: DN103Source
dn104 :: DN104Source
dn105 :: DN105Source
dn106 :: DN106Source
dn107 :: DN107Source
dn108 :: DN108Source
dn109 :: DN109Source
dn110 :: DN110Source
dn111 :: DN111Source
dn112 :: DN112Source
dn113 :: DN113Source
dn114 :: DN114Source
dn115 :: DN115Source
dn116 :: DN116Source
dn117 :: DN117Source
dn118 :: DN118Source
dn119 :: DN119Source
dn120 :: DN120Source
dn121 :: DN121Source
dn122 :: DN122Source
dn123 :: DN123Source
dn124 :: DN124Source
dn125 :: DN125Source
dn126 :: DN126Source
dn127 :: DN127Source
dn128 :: DN128Source
dn129 :: DN129Source
dn130 :: DN130Source
dn131 :: DN131Source
dn132 :: DN132Source
dn133 :: DN133Source
dn134 :: DN134Source
dn135 :: DN135Source
dn136 :: DN136Source
dn137 :: DN137Source
dn138 :: DN138Source
dn139 :: DN139Source
dn140 :: DN140Source
dn141 :: DN141Source
dn142 :: DN142Source
dn143 :: DN143Source
dn144 :: DN144Source
dn145 :: DN145Source
dn146 :: DN146Source
dn147 :: DN147Source
dn148 :: DN148Source
dn149 :: DN149Source
dn150 :: DN150Source
dn151 :: DN151Source
dn152 :: DN152Source
dn153 :: DN153Source
dn154 :: DN154Source
dn155 :: DN155Source
dn156 :: DN156Source
dn157 :: DN157Source
dn158 :: DN158Source
dn159 :: DN159Source
dn160 :: DN160Source
dn161 :: DN161Source
dn162 :: DN162Source
dn163 :: DN163Source
dn164 :: DN164Source
dn165 :: DN165Source
dn166 :: DN166Source
dn167 :: DN167Source
dn168 :: DN168Source
dn169 :: DN169Source
dn170 :: DN170Source
dn171 :: DN171Source
dn172 :: DN172Source
dn173 :: DN173Source
dn174 :: DN174Source
dn175 :: DN175Source
dn176 :: DN176Source
dn177 :: DN177Source
dn178 :: DN178Source
dn179 :: DN179Source
dn180 :: DN180Source
dn181 :: DN181Source
dn182 :: DN182Source
dn183 :: DN183Source
dn184 :: DN184Source
dn185 :: DN185Source
dn186 :: DN186Source
dn187 :: DN187Source
dn188 :: DN188Source
dn189 :: DN189Source
dn190 :: DN190Source
dn191 :: DN191Source
dn192 :: DN192Source
dn193 :: DN193Source
dn194 :: DN194Source
dn195 :: DN195Source
dn196 :: DN196Source
dn197 :: DN197Source
dn198 :: DN198Source
dn199 :: DN199Source
dn200 :: DN200Source
dn201 :: DN201Source
dn202 :: DN202Source
dn203 :: DN203Source
dn204 :: DN204Source
dn205 :: DN205Source
dn206 :: DN206Source
dn207 :: DN207Source
dn208 :: DN208Source
dn209 :: DN209Source
dn210 :: DN210Source
dn211 :: DN211Source
dn212 :: DN212Source
dn213 :: DN213Source
dn214 :: DN214Source
dn215 :: DN215Source
dn216 :: DN216Source
dn217 :: DN217Source
dn218 :: DN218Source
dn219 :: DN219Source
dn220 :: DN220Source
dn221 :: DN221Source
dn222 :: DN222Source
dn223 :: DN223Source
dn224 :: DN224Source
dn225 :: DN225Source
dn226 :: DN226Source
dn227 :: DN227Source
dn228 :: DN228Source
dn229 :: DN229Source
dn230 :: DN230Source
dn231 :: DN231Source
dn232 :: DN232Source
dn233 :: DN233Source
dn234 :: DN234Source
dn235 :: DN235Source
dn236 :: DN236Source
dn237 :: DN237Source
dn238 :: DN238Source
dn239 :: DN239Source
dn240 :: DN240Source
dn241 :: DN241Source
dn242 :: DN242Source
dn243 :: DN243Source
dn244 :: DN244Source
dn245 :: DN245Source
dn246 :: DN246Source
dn247 :: DN247Source
dn248 :: DN248Source
dn249 :: DN249Source
dn250 :: DN250Source
dn251 :: DN251Source
dn252 :: DN252Source
dn253 :: DN253Source
dn254 :: DN254Source
dn255 :: DN255Source
dn256 :: DN256Source