ksmt-core
0.5.23
ksmt-core
/
io.ksmt.utils
/
ArithUtils
/
numericValue
numeric
Value
fun
<
T
:
KArithSort
>
KContext
.
numericValue
(
realValue
:
ArithUtils.RealValue
,
sort
:
T
)
:
KExpr
<
T
>