pub type GateWires = [Wire; 7];Expand description
GateWires document the wiring of a gate. More specifically, each value either
represents the same cell (row and column) or a different cell in another row.
(This is to help the permutation argument.)