(value, index, values)
| 7 | |
| 8 | |
| 9 | def insert(value, index, values): |
| 10 | key = to_key(value) |
| 11 | |
| 12 | if key not in index: |
| 13 | index[key] = len(values) |
| 14 | values.append(value) |
| 15 | return len(values) - 1 |
| 16 | |
| 17 | return index.get(key) |
| 18 | |
| 19 | |
| 20 | def flatten(data, index, values): |