Searched refs:isRdr (Results 1 – 1 of 1) sorted by relevance
790 LispListReader isRdr(iSorts); in readDeclareFun() local795 while (isRdr.hasNext()) { in readDeclareFun()796 argSorts.push(declareSort(isRdr.next())); in readDeclareFun()