ksmt-core/io.ksmt.decl/KBvMulNoOverflowDecl/isSigned

isSigned

val isSigned: Boolean