<<>> <> <> <> <> DIRECTORY MobAccess, MobObjectFiles, ObjectFiles, RefTab; MobObjectAccessPrivate: CEDAR DEFINITIONS = {OPEN ObjF:ObjectFiles, MA:MobAccess; JointMobParsedInfoBody: TYPE = RECORD[ mob: MA.MobCookie, parsed: ObjF.Parsed, module: ObjF.Module, callableBodies: BTHashTable, bodies: BTHashTable, vars: VarHashTable, bracketPairs: BPHashTable]; <> <> <> BTHashTable: TYPE = REF BTHashTableBody; BTHashTableBody: TYPE = RECORD[table: RefTab.Ref]; <<>> VarHashTable: TYPE = REF VarHashTableBody; VarHashTableBody: TYPE = RECORD[table: RefTab.Ref]; <<>> BPHashTable: TYPE = REF BPHashTableBody; BPHashTableBody: TYPE = RECORD[table: RefTab.Ref]; <<>> }.