ksmt-core/io.ksmt.expr/KBitVec1Value/value

value

@JvmField
val value: Boolean