ksmt-core
0.5.23
ksmt-core
/
io.ksmt.utils
/
toBigInteger
to
Big
Integer
fun
Number
.
toBigInteger
(
)
:
BigInteger
fun
String
.
toBigInteger
(
radix
:
Int
)
:
BigInteger