Function mlirSMTAttrGetBitVector 

pub unsafe extern "C" fn mlirSMTAttrGetBitVector(
    ctx: MlirContext,
    value: u64,
    width: c_uint,
) -> MlirAttribute

Creates a smt::BitVectorAttr with the given value and width.