<> <> <> <> DIRECTORY Table USING [Limit]; HashTypes: DEFINITIONS={ <> HTIndex: TYPE~NAT[0..Table.Limit/2); htNull: HTIndex~HTIndex.FIRST; hvLength: NAT~71; -- length of hash vector }.