ksmt-core
0.5.23
ksmt-core
/
io.ksmt.expr.transformer
/
KNonRecursiveTransformerBase
/
transformExprDependencyIfNeeded
transform
Expr
Dependency
If
Needed
fun
transformExprDependencyIfNeeded
(
dependency
:
KExpr
<
*
>
,
transformedDependency
:
KExpr
<
*
>
?
)