typos found in ITEM_TABLE class description

Description

In data_structure_im.pdf page 18, ITEM_TABLE class description, invariants section: currently it is:

Valid_structure: rows.forall(items.forall(instance_of("ELEMENT")))

It should be:
Valid_structure: rows.forall(items.forall(instance_of("CLUSTER")))

Environment

None

Status

Reporter

Chunlan Ma

Labels

None

Components

Priority

Trivial