-- in.cue --
size:: 2
#CellValue: 0 | 1 | 2 | 3
cell: "0": "0": #CellValue
cell: "0": "0": != cell["0"]["1"]
cell: "0": "0": != cell["1"]["0"]
cell: "0": "0": != cell["1"]["1"]

cell: "0": "1": #CellValue
cell: "0": "1": != cell["0"]["0"]
cell: "0": "1": != cell["1"]["0"]
cell: "0": "1": != cell["1"]["1"]

cell: "1": "0": #CellValue
cell: "1": "0": != cell["0"]["0"]
cell: "1": "0": != cell["0"]["1"]
cell: "1": "0": != cell["1"]["1"]

cell: "1": "1": #CellValue
cell: "1": "1": != cell["0"]["0"]
cell: "1": "1": != cell["0"]["1"]
cell: "1": "1": != cell["1"]["0"]

cell: "0": "0": 0
cell: "0": "1": 1
cell: "1": "0": 2
cell: "1": "1": 3

cell2: a:  0 | 1
cell2: a:  != cell2.b

cell2: b:  0 | 1
cell2: b:  != cell2.a

cell2: a:  _
cell2: b:  1

cell3: a:  0 | 1
cell3: a:  != cell3.b

cell3: b:  0 | 1
cell3: b:  != cell3.a

cell3: a:  0
cell3: b:  _

cell4: a:  0 | 1
cell4: a:  != cell4.b

cell4: b:  0 | 1
cell4: b:  != cell4.a

cell4: b:  _
cell4: a:  0

cell5: b:  0 | 1
cell5: b:  != cell5.a

cell5: a:  0 | 1
cell5: a:  != cell5.b

cell5: b:  _
cell5: a:  0

a: #CellValue
a: != b
a: != c
a: != d

b: #CellValue
b: != a
b: != c
b: != d

c: #CellValue
c: != a
c: != b
c: != d

d: #CellValue
d: != a
d: != b
d: != c

a: 0
b: 1
c: 2
d: 3
-- out/eval --
(struct){
  size: (int){ 2 }
  #CellValue: (int){ |((int){ 0 }, (int){ 1 }, (int){ 2 }, (int){ 3 }) }
  cell: (struct){
    "0": (struct){
      "0": (int){ 0 }
      "1": (int){ 1 }
    }
    "1": (struct){
      "0": (int){ 2 }
      "1": (int){ 3 }
    }
  }
  cell2: (struct){
    a: (int){ 0 }
    b: (int){ 1 }
  }
  cell3: (struct){
    a: (int){ 0 }
    b: (int){ 1 }
  }
  cell4: (struct){
    a: (int){ 0 }
    b: (int){ 1 }
  }
  cell5: (struct){
    b: (int){ 1 }
    a: (int){ 0 }
  }
  a: (int){ 0 }
  b: (int){ 1 }
  c: (int){ 2 }
  d: (int){ 3 }
}
-- out/compile --
--- in.cue
{
  size:: 2
  #CellValue: (0|1|2|3)
  cell: {
    "0": {
      "0": 〈2;#CellValue〉
    }
  }
  cell: {
    "0": {
      "0": !=〈2;cell〉["0"]["1"]
    }
  }
  cell: {
    "0": {
      "0": !=〈2;cell〉["1"]["0"]
    }
  }
  cell: {
    "0": {
      "0": !=〈2;cell〉["1"]["1"]
    }
  }
  cell: {
    "0": {
      "1": 〈2;#CellValue〉
    }
  }
  cell: {
    "0": {
      "1": !=〈2;cell〉["0"]["0"]
    }
  }
  cell: {
    "0": {
      "1": !=〈2;cell〉["1"]["0"]
    }
  }
  cell: {
    "0": {
      "1": !=〈2;cell〉["1"]["1"]
    }
  }
  cell: {
    "1": {
      "0": 〈2;#CellValue〉
    }
  }
  cell: {
    "1": {
      "0": !=〈2;cell〉["0"]["0"]
    }
  }
  cell: {
    "1": {
      "0": !=〈2;cell〉["0"]["1"]
    }
  }
  cell: {
    "1": {
      "0": !=〈2;cell〉["1"]["1"]
    }
  }
  cell: {
    "1": {
      "1": 〈2;#CellValue〉
    }
  }
  cell: {
    "1": {
      "1": !=〈2;cell〉["0"]["0"]
    }
  }
  cell: {
    "1": {
      "1": !=〈2;cell〉["0"]["1"]
    }
  }
  cell: {
    "1": {
      "1": !=〈2;cell〉["1"]["0"]
    }
  }
  cell: {
    "0": {
      "0": 0
    }
  }
  cell: {
    "0": {
      "1": 1
    }
  }
  cell: {
    "1": {
      "0": 2
    }
  }
  cell: {
    "1": {
      "1": 3
    }
  }
  cell2: {
    a: (0|1)
  }
  cell2: {
    a: !=〈1;cell2〉.b
  }
  cell2: {
    b: (0|1)
  }
  cell2: {
    b: !=〈1;cell2〉.a
  }
  cell2: {
    a: _
  }
  cell2: {
    b: 1
  }
  cell3: {
    a: (0|1)
  }
  cell3: {
    a: !=〈1;cell3〉.b
  }
  cell3: {
    b: (0|1)
  }
  cell3: {
    b: !=〈1;cell3〉.a
  }
  cell3: {
    a: 0
  }
  cell3: {
    b: _
  }
  cell4: {
    a: (0|1)
  }
  cell4: {
    a: !=〈1;cell4〉.b
  }
  cell4: {
    b: (0|1)
  }
  cell4: {
    b: !=〈1;cell4〉.a
  }
  cell4: {
    b: _
  }
  cell4: {
    a: 0
  }
  cell5: {
    b: (0|1)
  }
  cell5: {
    b: !=〈1;cell5〉.a
  }
  cell5: {
    a: (0|1)
  }
  cell5: {
    a: !=〈1;cell5〉.b
  }
  cell5: {
    b: _
  }
  cell5: {
    a: 0
  }
  a: 〈0;#CellValue〉
  a: !=〈0;b〉
  a: !=〈0;c〉
  a: !=〈0;d〉
  b: 〈0;#CellValue〉
  b: !=〈0;a〉
  b: !=〈0;c〉
  b: !=〈0;d〉
  c: 〈0;#CellValue〉
  c: !=〈0;a〉
  c: !=〈0;b〉
  c: !=〈0;d〉
  d: 〈0;#CellValue〉
  d: !=〈0;a〉
  d: !=〈0;b〉
  d: !=〈0;c〉
  a: 0
  b: 1
  c: 2
  d: 3
}