ksmt-core
0.5.23
ksmt-core
/
io.ksmt.solver.util
/
KExprConverterBase
/
convertFromNative
convert
From
Native
fun
<
S
:
KSort
>
T
.
convertFromNative
(
)
:
KExpr
<
S
>