<<>> <> <> <> <> <> <> <> DIRECTORY Symbols USING [htTag, HTIndex, HTNull, HVIndex], Table USING [Tag]; MobHashTypes: DEFINITIONS={ <> htTag: Table.Tag = Symbols.htTag; HTIndex: TYPE = Symbols.HTIndex; HTNull: HTIndex = Symbols.HTNull; HVIndex: TYPE = Symbols.HVIndex; -- length of hash vector }.