MODULE UpdateMethodsTbl EXPORTS UpdateMethodsTbl = Table ( Atom, AtomAtomListTbl ) END UpdateMethodsTbl.