pub unsafe extern "C" fn mlirSMTTypeIsABitVector( type_: MlirType, ) -> bool
Checks if the given type is a smt::BitVectorType.