Searched refs:theLetAtom (Results 1 – 1 of 1) sorted by relevance
1270 const vstring& theLetAtom = lRdr.readAtom(); in parseLetBegin() local1271 ASS_EQ(theLetAtom,LET); in parseLetBegin()1318 const vstring& theLetAtom = lRdr.readAtom(); in parseLetPrepareLookup() local1319 ASS_EQ(theLetAtom,LET); in parseLetPrepareLookup()1368 const vstring& theLetAtom = lRdr.readAtom(); in parseLetEnd() local1369 ASS_EQ(getBuiltInTermSymbol(theLetAtom),TS_LET); in parseLetEnd()