Function mlirSMTTypeGetBool 

pub unsafe extern "C" fn mlirSMTTypeGetBool(
    ctx: MlirContext,
) -> MlirType

Creates a smt::BoolType.