mkBvDecl

fun mkBvDecl(value: Byte): KDecl<KBv8Sort>
fun mkBvDecl(value: Int): KDecl<KBv32Sort>
fun mkBvDecl(value: BigInteger, size: UInt): KDecl<KBvSort>
fun mkBvDecl(value: String, sizeBits: UInt): KDecl<KBvSort>