Function mlirSMTAttrGetBVCmpPredicate 

pub unsafe extern "C" fn mlirSMTAttrGetBVCmpPredicate(
    ctx: MlirContext,
    str_: MlirStringRef,
) -> MlirAttribute

Creates a smt::BVCmpPredicateAttr with the given string.