LLZK
0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
Types.h.inc
Go to the documentation of this file.
1
/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
2
|* *|
3
|* TypeDef Declarations *|
4
|* *|
5
|* Automatically generated file, do not edit! *|
6
|* *|
7
\*===----------------------------------------------------------------------===*/
8
9
#ifdef GET_TYPEDEF_CLASSES
10
#undef GET_TYPEDEF_CLASSES
11
12
13
namespace
mlir
{
14
class
AsmParser;
15
class
AsmPrinter;
16
}
// namespace mlir
17
namespace
llzk
{
18
namespace
felt
{
19
class
FeltType
;
20
class
FeltType
:
public
::mlir::Type::TypeBase<FeltType, ::mlir::Type, ::mlir::TypeStorage> {
21
public
:
22
using
Base::Base;
23
static ::llzk::felt::FeltType
get
(::mlir::MLIRContext *context) {
24
return
Base::get(context);
25
}
26
static
constexpr ::llvm::StringLiteral
name
=
"felt.type"
;
27
static
constexpr ::llvm::StringLiteral
getMnemonic
() {
28
return
{
"type"
};
29
}
30
31
};
32
}
// namespace felt
33
}
// namespace llzk
34
MLIR_DECLARE_EXPLICIT_TYPE_ID(
::llzk::felt::FeltType
)
35
36
#endif
// GET_TYPEDEF_CLASSES
37
llzk::felt::FeltType
Definition
Types.h.inc:20
llzk::felt::FeltType::getMnemonic
static constexpr ::llvm::StringLiteral getMnemonic()
Definition
Types.h.inc:27
llzk::felt::FeltType::get
::llzk::felt::FeltType get(::mlir::MLIRContext *context)
Definition
Types.h.inc:23
llzk::felt::FeltType::name
static constexpr ::llvm::StringLiteral name
Definition
Types.h.inc:26
llzk::felt
Definition
Attrs.cpp:13
llzk
Definition
CallGraph.cpp:29
mlir
Definition
Types.h.inc:13
build
include
llzk
Dialect
Felt
IR
Types.h.inc
Generated by
1.13.2
Copyright 2025 Veridise Inc. under the Apache License v2.0.