ksmt-core
0.5.23
ksmt-core
/
io.ksmt.solver.util
/
conversionLoop
conversion
Loop
inline
fun
<
S
:
KSort
,
T
,
Stack
>
conversionLoop
(
stack
:
Stack
,
native
:
T
,
stackPush
:
(
Stack
,
T
)
->
Unit
,
stackPop
:
(
Stack
)
->
T
,
stackIsNotEmpty
:
(
Stack
)
->
Boolean
,
convertNative
:
(
T
)
->
ExprConversionResult
,
findConverted
:
(
T
)
->
KExpr
<
*
>
?
,
saveConverted
:
(
T
,
KExpr
<
*
>
)
->
Unit
)
:
KExpr
<
S
>