(key, value)
| 3023 | } |
| 3024 | } |
| 3025 | const atoi = (key, value) => { |
| 3026 | if (key_vals.has(key)) { |
| 3027 | return parseInt(key_vals.get(key), 10); |
| 3028 | } |
| 3029 | if (value !== undefined) { |
| 3030 | return value; |
| 3031 | } |
| 3032 | throw new python.Error(`Model file does not specify ${key}.`); |
| 3033 | }; |
| 3034 | const list = (key, size) => { |
| 3035 | if (key_vals.has(key)) { |
| 3036 | const value = key_vals.get(key).split(' '); |