ksmt-core/io.ksmt.decl/KBitVecCustomSizeValueDecl/bigIntValue

bigIntValue

val bigIntValue: BigInteger