9#ifdef GET_ATTRDEF_CLASSES
10#undef GET_ATTRDEF_CLASSES
21struct FeltConstAttrStorage;
23class FeltConstAttr :
public ::mlir::Attribute::AttrBase<FeltConstAttr, ::mlir::Attribute, detail::FeltConstAttrStorage, ::mlir::TypedAttr::Trait> {
26 ::mlir::Type getType()
const;
27 static constexpr ::llvm::StringLiteral
name =
"felt.const";
28 static constexpr ::llvm::StringLiteral dialectName =
"felt";
29 static FeltConstAttr get(::mlir::MLIRContext *context, ::llvm::APInt value);
30 static FeltConstAttr get(::mlir::MLIRContext *context,
unsigned numBits, ::llvm::StringRef str);
31 static FeltConstAttr get(::mlir::MLIRContext *context,
unsigned numBits, ::llvm::ArrayRef<uint64_t> parts);
32 static constexpr ::llvm::StringLiteral getMnemonic() {
36 static ::mlir::Attribute parse(::mlir::AsmParser &odsParser, ::mlir::Type odsType);
37 void print(::mlir::AsmPrinter &odsPrinter)
const;
38 ::llvm::APInt getValue()
const;
42MLIR_DECLARE_EXPLICIT_TYPE_ID(::llzk::felt::FeltConstAttr)