ksmt-core/io.ksmt.solver.util/KExprLongConverterBase/convertList

convertList

inline fun <S : KSort, A : KSort> Long.convertList(args: LongArray, op: (List<KExpr<A>>) -> KExpr<S>): ExprConversionResult