|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Public Member Functions | |
| inline ::mlir::StringRef | getRefName () const |
| void | print (::mlir::AsmPrinter &odsPrinter) const |
| ::mlir::FlatSymbolRefAttr | getNameRef () const |
Static Public Member Functions | |
| static TypeVarType | get (::mlir::MLIRContext *context, ::mlir::FlatSymbolRefAttr nameRef) |
| static TypeVarType | get (::mlir::FlatSymbolRefAttr nameRef) |
| static constexpr ::llvm::StringLiteral | getMnemonic () |
| ::mlir::Type | parse (::mlir::AsmParser &odsParser) |
Static Public Attributes | |
| static constexpr ::llvm::StringLiteral | name = "poly.tvar" |
| static constexpr ::llvm::StringLiteral | dialectName = "poly" |
Definition at line 23 of file Types.h.inc.
|
static |
Definition at line 71 of file Types.cpp.inc.
|
static |
Definition at line 67 of file Types.cpp.inc.
|
inlinestatic |
Definition at line 31 of file Types.h.inc.
| mlir::FlatSymbolRefAttr llzk::polymorphic::TypeVarType::getNameRef | ( | ) | const |
Definition at line 103 of file Types.cpp.inc.
|
inline |
Definition at line 26 of file Types.h.inc.
|
static |
Definition at line 75 of file Types.cpp.inc.
| void llzk::polymorphic::TypeVarType::print | ( | ::mlir::AsmPrinter & | odsPrinter | ) | const |
Definition at line 96 of file Types.cpp.inc.
|
static |
Definition at line 28 of file Types.h.inc.
|
static |
Definition at line 27 of file Types.h.inc.