ksmt-core
0.5.23
ksmt-core
/
io.ksmt.solver.util
/
KExprIntInternalizerBase
/
transformList
transform
List
inline
fun
<
S
:
KExpr
<
*
>
>
S
.
transformList
(
args
:
List
<
KExpr
<
*
>
>
,
operation
:
(
IntArray
)
->
Int
)
:
S