cellSetOps function

List<DeltaOp> cellSetOps(
  1. NodeId node,
  2. IpcValue oldValue,
  3. IpcValue newValue
)

lean cellSetOps + theorem equal_cell_set_is_silent / changed_cell_set_emits_cell_set: the PartialEq cell guard. An equal write emits no op; a changed write emits exactly one DeltaOpCellSet.

Implementation

List<DeltaOp> cellSetOps(NodeId node, IpcValue oldValue, IpcValue newValue) {
  if (oldValue == newValue) return const <DeltaOp>[];
  return <DeltaOp>[DeltaOpCellSet(node, newValue)];
}