Function mlirSMTTypeGetBitVector 

pub unsafe extern "C" fn mlirSMTTypeGetBitVector(
    ctx: MlirContext,
    width: i32,
) -> MlirType

Creates a smt::BitVectorType with the given width.