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

transform

inline fun <S : KExpr<*>> S.transform(operation: () -> Int): S
inline fun <S : KExpr<*>> S.transform(arg: KExpr<*>, operation: (Int) -> Int): S
inline fun <S : KExpr<*>> S.transform(arg0: KExpr<*>, arg1: KExpr<*>, operation: (Int, Int) -> Int): S
inline fun <S : KExpr<*>> S.transform(arg0: KExpr<*>, arg1: KExpr<*>, arg2: KExpr<*>, operation: (Int, Int, Int) -> Int): S
inline fun <S : KExpr<*>> S.transform(arg0: KExpr<*>, arg1: KExpr<*>, arg2: KExpr<*>, arg3: KExpr<*>, operation: (Int, Int, Int, Int) -> Int): S