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

transform

inline fun <S : KExpr<*>> S.transform(operation: () -> T): S
inline fun <A0 : T, S : KExpr<*>> S.transform(arg: KExpr<*>, operation: (A0) -> T): S
inline fun <A0 : T, A1 : T, S : KExpr<*>> S.transform(arg0: KExpr<*>, arg1: KExpr<*>, operation: (A0, A1) -> T): S
inline fun <A0 : T, A1 : T, A2 : T, S : KExpr<*>> S.transform(arg0: KExpr<*>, arg1: KExpr<*>, arg2: KExpr<*>, operation: (A0, A1, A2) -> T): S
inline fun <A0 : T, A1 : T, A2 : T, A3 : T, S : KExpr<*>> S.transform(arg0: KExpr<*>, arg1: KExpr<*>, arg2: KExpr<*>, arg3: KExpr<*>, operation: (A0, A1, A2, A3) -> T): S