ksmt-core
0.5.23
ksmt-core
/
io.ksmt
/
KContext
/
mkFpFromBvDecl
mk
Fp
From
Bv
Decl
fun
<
T
:
KFpSort
>
mkFpFromBvDecl
(
signSort
:
KBv1Sort
,
expSort
:
KBvSort
,
significandSort
:
KBvSort
)
:
KFpFromBvDecl
<
T
>