11#include <mlir/CAPI/IR.h>
12#include <mlir/CAPI/Support.h>
13#include <llvm/ADT/TypeSwitch.h>
20 return llvm::isa<FeltCmpPredicateAttr>(unwrap(inp));
25 return wrap(FeltCmpPredicateAttr::get(unwrap(ctx), unwrap(value)));
29 return wrap(llvm::cast<FeltCmpPredicateAttr>(unwrap(inp)).getValue());
bool llzkAttributeIsA_Bool_FeltCmpPredicateAttr(MlirAttribute inp)
Returns true if the Attribute is a llzk::boolean::FeltCmpPredicateAttr.
MlirAttribute llzkBool_FeltCmpPredicateAttrGet(MlirContext ctx, LlzkBooleanFeltCmpPredicate value)
Create a llzk::boolean::FeltCmpPredicateAttr Attribute with the given parameters.
LlzkBooleanFeltCmpPredicate llzkBool_FeltCmpPredicateAttrGetValue(MlirAttribute inp)
Get 'value' parameter from a llzk::boolean::FeltCmpPredicateAttr Attribute.
enum LlzkBoolFeltCmpPredicate LlzkBooleanFeltCmpPredicate