ksmt-core/io.ksmt.utils/booleanSignBit

booleanSignBit

val Float.booleanSignBit: Boolean
val Double.booleanSignBit: Boolean