ksmt-core/io.ksmt.expr/KBvAddNoOverflowExpr/isSigned

isSigned

val isSigned: Boolean