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