Fields
Hover over a field name to highlight it.
| Int |
|---|
| -8 |
| -7 |
| -6 |
| -5 |
| -4 |
| -3 |
| -2 |
| -1 |
| 0 |
| 1 |
| 2 |
| 3 |
| 4 |
| 5 |
| 6 |
| 7 |
| Node |
|---|
| Node0 |
| Node1 |
| Node2 |
| Node3 |
| Node4 |
| right | |
|---|---|
| Node1 | Node4 |
| Node3 | Node0 |
| key | |
|---|---|
| Node0 | 7 |
| Node1 | 7 |
| Node2 | 6 |
| Node3 | 6 |
| Node4 | 5 |
| left | |
|---|---|
| Node3 | Node1 |
| Node4 | Node2 |
inst cnd_generated {
Int = `-8+`-7+`-6+`-5+`-4+`-3+`-2+`-1+`0+`1+`2+`3+`4+`5+`6+`7
Node = `Node0+`Node1+`Node2+`Node3+`Node4
no no-field-guard
right = (`Node1->`Node4)+(`Node3->`Node0)
key = (`Node0->`7)+(`Node1->`7)+(`Node2->`6)+(`Node3->`6)+(`Node4->`5)
left = (`Node3->`Node1)+(`Node4->`Node2)
}