ksmt-core/io.ksmt.decl/KFpToBvDecl/bvSize

bvSize

val bvSize: Int