Searched refs:argRdr (Results 1 – 1 of 1) sorted by relevance
630 LispListReader argRdr(def.args); in declareSort() local632 while (argRdr.hasNext()) { in declareSort()637 const vstring& argName = argRdr.readAtom(); in declareSort()985 LispListReader argRdr(arg); in readDeclareDatatypes() local986 destructorNames.push(argRdr.readAtom()); in readDeclareDatatypes()987 argSorts.push(declareSort(argRdr.next())); in readDeclareDatatypes()988 if (argRdr.hasNext()) { in readDeclareDatatypes()