Function mlirSMTBitVectorTypeGetName 

pub unsafe extern "C" fn mlirSMTBitVectorTypeGetName() -> MlirStringRef