LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
Dialect.h.inc
Go to the documentation of this file.
1/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
2|* *|
3|* Dialect Declarations *|
4|* *|
5|* Automatically generated file, do not edit! *|
6|* From: Dialect.td *|
7|* *|
8\*===----------------------------------------------------------------------===*/
9
10namespace llzk {
11namespace constrain {
12
13class ConstrainDialect : public ::mlir::Dialect {
14 explicit ConstrainDialect(::mlir::MLIRContext *context);
15
16 void initialize();
17 friend class ::mlir::MLIRContext;
18public:
20 static constexpr ::llvm::StringLiteral getDialectNamespace() {
21 return ::llvm::StringLiteral("constrain");
22 }
23};
24} // namespace constrain
25} // namespace llzk
26MLIR_DECLARE_EXPLICIT_TYPE_ID(::llzk::constrain::ConstrainDialect)
friend class ::mlir::MLIRContext
Definition Dialect.h.inc:17
static constexpr ::llvm::StringLiteral getDialectNamespace()
Definition Dialect.h.inc:20