Searched refs:mkSort (Results 1 – 1 of 1) sorted by relevance
27 static inline llvm::SMTSortRef mkSort(llvm::SMTSolverRef &Solver, in mkSort() function331 return Solver->mkSymbol(Str.c_str(), mkSort(Solver, Ty, BitWidth)); in fromData()