ksmt-core/io.ksmt/KContext/mkBv2IntDecl

mkBv2IntDecl

fun mkBv2IntDecl(value: KBvSort, isSigned: Boolean): KBv2IntDecl