MLIR_CAPI_EXPORTED MlirAttribute llzkBool_FeltCmpPredicateAttrGet(MlirContext ctx, LlzkBooleanFeltCmpPredicate value)
Create a llzk::boolean::FeltCmpPredicateAttr Attribute with the given parameters.
MLIR_CAPI_EXPORTED bool llzkAttributeIsA_Bool_FeltCmpPredicateAttr(MlirAttribute)
Returns true if the Attribute is a llzk::boolean::FeltCmpPredicateAttr.
MLIR_CAPI_EXPORTED LlzkBooleanFeltCmpPredicate llzkBool_FeltCmpPredicateAttrGetValue(MlirAttribute)
Get 'value' parameter from a llzk::boolean::FeltCmpPredicateAttr Attribute.
enum LlzkBoolFeltCmpPredicate LlzkBooleanFeltCmpPredicate