ksmt-core/io.ksmt.solver.util/KExprLongInternalizerBase/transformList

transformList

inline fun <S : KExpr<*>> S.transformList(args: List<KExpr<*>>, operation: (LongArray) -> Long): S