mlirSMTAttrGetIntPredicate

mlir_sys

Function mlirSMTAttrGetIntPredicate 

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

Creates a smt::IntPredicateAttr with the given string.