ksmt-core
0.5.23
ksmt-core
/
io.ksmt
/
KContext
/
toFp
to
Fp
fun
Double
.
toFp
(
sort
:
KFpSort
=
mkFp64Sort()
)
:
KFpValue
<
KFpSort
>
fun
Float
.
toFp
(
sort
:
KFpSort
=
mkFp32Sort()
)
:
KFpValue
<
KFpSort
>