mlirSMTAttrCheckBVCmpPredicate

mlir_sys

Function mlirSMTAttrCheckBVCmpPredicate 

Source 
pub unsafe extern "C" fn mlirSMTAttrCheckBVCmpPredicate(
    ctx: MlirContext,
    str_: MlirStringRef,
) -> bool
Expand description

Checks if the given string is a valid smt::BVCmpPredicate.