Commit f57fca8
authored
types: small refactor (leanEthereum#65)
1 parent e571d0d commit f57fca8
File tree
5 files changed
+40
-85
lines changed- src/lean_spec/types
5 files changed
+40
-85
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
54 | 54 | | |
55 | 55 | | |
56 | 56 | | |
57 | | - | |
58 | | - | |
59 | | - | |
60 | | - | |
| 57 | + | |
61 | 58 | | |
62 | | - | |
63 | | - | |
| 59 | + | |
64 | 60 | | |
65 | 61 | | |
66 | | - | |
| 62 | + | |
67 | 63 | | |
68 | 64 | | |
69 | 65 | | |
| |||
104 | 100 | | |
105 | 101 | | |
106 | 102 | | |
107 | | - | |
108 | | - | |
109 | | - | |
| 103 | + | |
110 | 104 | | |
111 | 105 | | |
112 | 106 | | |
| |||
120 | 114 | | |
121 | 115 | | |
122 | 116 | | |
123 | | - | |
124 | | - | |
| 117 | + | |
| 118 | + | |
125 | 119 | | |
126 | 120 | | |
127 | 121 | | |
| |||
158 | 152 | | |
159 | 153 | | |
160 | 154 | | |
161 | | - | |
162 | | - | |
163 | | - | |
164 | | - | |
165 | | - | |
166 | | - | |
167 | | - | |
168 | | - | |
169 | | - | |
170 | | - | |
171 | | - | |
172 | | - | |
| 155 | + | |
| 156 | + | |
| 157 | + | |
| 158 | + | |
173 | 159 | | |
174 | 160 | | |
175 | 161 | | |
| |||
219 | 205 | | |
220 | 206 | | |
221 | 207 | | |
222 | | - | |
223 | | - | |
224 | | - | |
| 208 | + | |
225 | 209 | | |
226 | 210 | | |
227 | 211 | | |
228 | 212 | | |
229 | 213 | | |
230 | 214 | | |
231 | 215 | | |
232 | | - | |
233 | | - | |
234 | | - | |
| 216 | + | |
235 | 217 | | |
236 | 218 | | |
237 | 219 | | |
| |||
250 | 232 | | |
251 | 233 | | |
252 | 234 | | |
253 | | - | |
254 | | - | |
255 | | - | |
256 | | - | |
257 | | - | |
| 235 | + | |
| 236 | + | |
| 237 | + | |
258 | 238 | | |
259 | 239 | | |
260 | 240 | | |
| |||
267 | 247 | | |
268 | 248 | | |
269 | 249 | | |
270 | | - | |
271 | | - | |
272 | | - | |
273 | | - | |
274 | | - | |
275 | | - | |
276 | | - | |
277 | | - | |
278 | | - | |
279 | | - | |
| 250 | + | |
280 | 251 | | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
37 | 37 | | |
38 | 38 | | |
39 | 39 | | |
40 | | - | |
41 | | - | |
42 | | - | |
| 40 | + | |
| 41 | + | |
43 | 42 | | |
44 | | - | |
| 43 | + | |
45 | 44 | | |
46 | 45 | | |
47 | 46 | | |
| |||
142 | 141 | | |
143 | 142 | | |
144 | 143 | | |
145 | | - | |
| 144 | + | |
146 | 145 | | |
147 | 146 | | |
148 | 147 | | |
| |||
152 | 151 | | |
153 | 152 | | |
154 | 153 | | |
155 | | - | |
| 154 | + | |
156 | 155 | | |
157 | 156 | | |
158 | 157 | | |
| |||
162 | 161 | | |
163 | 162 | | |
164 | 163 | | |
165 | | - | |
| 164 | + | |
166 | 165 | | |
167 | 166 | | |
168 | 167 | | |
| |||
176 | 175 | | |
177 | 176 | | |
178 | 177 | | |
179 | | - | |
180 | | - | |
181 | | - | |
| 178 | + | |
182 | 179 | | |
183 | 180 | | |
184 | 181 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
34 | 34 | | |
35 | 35 | | |
36 | 36 | | |
37 | | - | |
38 | 37 | | |
39 | | - | |
| 38 | + | |
40 | 39 | | |
41 | 40 | | |
42 | 41 | | |
| |||
185 | 184 | | |
186 | 185 | | |
187 | 186 | | |
188 | | - | |
189 | | - | |
190 | | - | |
| 187 | + | |
191 | 188 | | |
192 | 189 | | |
193 | 190 | | |
| |||
288 | 285 | | |
289 | 286 | | |
290 | 287 | | |
| 288 | + | |
| 289 | + | |
291 | 290 | | |
292 | 291 | | |
293 | 292 | | |
294 | | - | |
295 | | - | |
296 | 293 | | |
297 | 294 | | |
298 | 295 | | |
| |||
316 | 313 | | |
317 | 314 | | |
318 | 315 | | |
319 | | - | |
320 | | - | |
321 | 316 | | |
322 | 317 | | |
323 | 318 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
84 | 84 | | |
85 | 85 | | |
86 | 86 | | |
87 | | - | |
88 | | - | |
89 | | - | |
90 | | - | |
| 87 | + | |
91 | 88 | | |
92 | 89 | | |
93 | 90 | | |
| |||
230 | 227 | | |
231 | 228 | | |
232 | 229 | | |
233 | | - | |
234 | | - | |
235 | | - | |
236 | | - | |
| 230 | + | |
237 | 231 | | |
238 | 232 | | |
239 | 233 | | |
| |||
268 | 262 | | |
269 | 263 | | |
270 | 264 | | |
271 | | - | |
| 265 | + | |
272 | 266 | | |
273 | | - | |
274 | | - | |
| 267 | + | |
| 268 | + | |
275 | 269 | | |
276 | 270 | | |
277 | 271 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
34 | 34 | | |
35 | 35 | | |
36 | 36 | | |
37 | | - | |
38 | | - | |
39 | | - | |
40 | | - | |
41 | | - | |
42 | | - | |
43 | | - | |
44 | | - | |
| 37 | + | |
| 38 | + | |
| 39 | + | |
| 40 | + | |
| 41 | + | |
| 42 | + | |
45 | 43 | | |
46 | 44 | | |
47 | 45 | | |
| |||
134 | 132 | | |
135 | 133 | | |
136 | 134 | | |
137 | | - | |
| 135 | + | |
138 | 136 | | |
139 | 137 | | |
140 | 138 | | |
| |||
160 | 158 | | |
161 | 159 | | |
162 | 160 | | |
163 | | - | |
| 161 | + | |
164 | 162 | | |
165 | 163 | | |
166 | 164 | | |
| |||
0 commit comments