MLIR_CAPI_EXPORTED bool llzkAttributeIsA_Function_AllowWitnessAttr(MlirAttribute)
Returns true if the Attribute is a llzk::function::AllowWitnessAttr.
MLIR_CAPI_EXPORTED MlirAttribute llzkFunction_AllowConstraintAttrGet(MlirContext ctx)
Create a llzk::function::AllowConstraintAttr Attribute with the given parameters.
MLIR_CAPI_EXPORTED bool llzkAttributeIsA_Function_AllowNonNativeFieldOpsAttr(MlirAttribute)
Returns true if the Attribute is a llzk::function::AllowNonNativeFieldOpsAttr.
MLIR_CAPI_EXPORTED MlirAttribute llzkFunction_AllowNonNativeFieldOpsAttrGet(MlirContext ctx)
Create a llzk::function::AllowNonNativeFieldOpsAttr Attribute with the given parameters.
MLIR_CAPI_EXPORTED MlirAttribute llzkFunction_AllowWitnessAttrGet(MlirContext ctx)
Create a llzk::function::AllowWitnessAttr Attribute with the given parameters.
MLIR_CAPI_EXPORTED bool llzkAttributeIsA_Function_AllowConstraintAttr(MlirAttribute)
Returns true if the Attribute is a llzk::function::AllowConstraintAttr.