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

transform

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