The EqTable domain provides tables where the keys are compared using eq?eq?EqTable. Keys are considered equal only if they are the same instance of a structure. This is useful if the keys are themselves updatable structures. Otherwise, all operations are the same as for type Table. See TableXmpPage for general information about tables.
The operation tabletableEqTable is here used to create a table where the keys are lists of integers.
These two lists are equal according to =, but not according to eq?eq?List.
Because the two lists are not eq?eq?List, separate values can be stored under each.