Searched defs:iSorts (Results 1 – 1 of 1) sorted by relevance
162 LExprList* iSorts = ibRdr.readList(); in readBenchmark() local780 void SMTLIB2::readDeclareFun(const vstring& name, LExprList* iSorts, LExpr* oSort) in readDeclareFun()