mlirSMTAttrCheckIntPredicate

mlir_sys

Function mlirSMTAttrCheckIntPredicate 

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

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