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_Felt_FeltConstAttr(MlirAttribute);

MLIR_CAPI_EXPORTED MlirAttribute llzkFelt_FeltConstAttrGet(MlirContext ctx, int64_t value, MlirType type);

MLIR_CAPI_EXPORTED int64_t llzkFelt_FeltConstAttrGetValue(MlirAttribute);

MLIR_CAPI_EXPORTED MlirType llzkFelt_FeltConstAttrGetType(MlirAttribute);

MLIR_CAPI_EXPORTED MlirIdentifier llzkFelt_FeltConstAttrGetFieldName(MlirAttribute inp);

MLIR_CAPI_EXPORTED bool llzkAttributeIsA_Felt_FieldSpecAttr(MlirAttribute);

MLIR_CAPI_EXPORTED MlirAttribute llzkFelt_FieldSpecAttrGet(MlirContext ctx, MlirIdentifier fieldName, int64_t prime);

MLIR_CAPI_EXPORTED MlirIdentifier llzkFelt_FieldSpecAttrGetFieldName(MlirAttribute);

MLIR_CAPI_EXPORTED int64_t llzkFelt_FieldSpecAttrGetPrime(MlirAttribute);
 
#ifdef __cplusplus
}
#endif