11#include <mlir/CAPI/IR.h>
12#include <mlir/CAPI/Support.h>
13#include <llvm/ADT/TypeSwitch.h>
20 return llvm::isa<AllowConstraintAttr>(unwrap(inp));
25 return wrap(AllowConstraintAttr::get(unwrap(ctx)));
29 return llvm::isa<AllowNonNativeFieldOpsAttr>(unwrap(inp));
34 return wrap(AllowNonNativeFieldOpsAttr::get(unwrap(ctx)));
38 return llvm::isa<AllowWitnessAttr>(unwrap(inp));
43 return wrap(AllowWitnessAttr::get(unwrap(ctx)));
bool llzkAttributeIsA_Function_AllowNonNativeFieldOpsAttr(MlirAttribute inp)
Returns true if the Attribute is a llzk::function::AllowNonNativeFieldOpsAttr.
bool llzkAttributeIsA_Function_AllowConstraintAttr(MlirAttribute inp)
Returns true if the Attribute is a llzk::function::AllowConstraintAttr.
MlirAttribute llzkFunction_AllowWitnessAttrGet(MlirContext ctx)
Create a llzk::function::AllowWitnessAttr Attribute with the given parameters.
bool llzkAttributeIsA_Function_AllowWitnessAttr(MlirAttribute inp)
Returns true if the Attribute is a llzk::function::AllowWitnessAttr.
MlirAttribute llzkFunction_AllowConstraintAttrGet(MlirContext ctx)
Create a llzk::function::AllowConstraintAttr Attribute with the given parameters.
MlirAttribute llzkFunction_AllowNonNativeFieldOpsAttrGet(MlirContext ctx)
Create a llzk::function::AllowNonNativeFieldOpsAttr Attribute with the given parameters.