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

transformList

inline fun <A : T, S : KExpr<*>> S.transformList(args: List<KExpr<*>>, operation: (Array<A>) -> T): S