Attrs.capi.h.inc

Go to the documentation of this file.

/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
|*                                                                            *|
|* Attr C API Declarations                                                    *|
|*                                                                            *|
|* Automatically generated file, do not edit!                                 *|
|* From: Attrs.td                                                             *|
|*                                                                            *|
\*===----------------------------------------------------------------------===*/
 
 
#include "llzk-c/Builder.h"
#include <mlir-c/IR.h>
 
#ifdef __cplusplus
extern "C" {
#endif

MLIR_CAPI_EXPORTED bool llzkAttributeIsA_Function_AllowConstraintAttr(MlirAttribute);

MLIR_CAPI_EXPORTED MlirAttribute llzkFunction_AllowConstraintAttrGet(MlirContext ctx);

MLIR_CAPI_EXPORTED bool llzkAttributeIsA_Function_AllowNonNativeFieldOpsAttr(MlirAttribute);

MLIR_CAPI_EXPORTED MlirAttribute llzkFunction_AllowNonNativeFieldOpsAttrGet(MlirContext ctx);

MLIR_CAPI_EXPORTED bool llzkAttributeIsA_Function_AllowVerifOpsAttr(MlirAttribute);

MLIR_CAPI_EXPORTED MlirAttribute llzkFunction_AllowVerifOpsAttrGet(MlirContext ctx);

MLIR_CAPI_EXPORTED bool llzkAttributeIsA_Function_AllowWitnessAttr(MlirAttribute);

MLIR_CAPI_EXPORTED MlirAttribute llzkFunction_AllowWitnessAttrGet(MlirContext ctx);
 
#ifdef __cplusplus
}
#endif