mlirSMTAttrIsASMTAttribute

mlir_sys

Function mlirSMTAttrIsASMTAttribute 

Source 
pub unsafe extern "C" fn mlirSMTAttrIsASMTAttribute(
    attr: MlirAttribute,
) -> bool
Expand description

Checks if the given attribute is a smt::SMTAttribute.