|
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 43 of file Types.h.inc.
|
static |
Definition at line 73 of file Types.cpp.inc.
|
static |
Definition at line 69 of file Types.cpp.inc.
|
inlinestatic |
Definition at line 51 of file Types.h.inc.
| mlir::FlatSymbolRefAttr llzk::polymorphic::TypeVarType::getNameRef | ( | ) | const |
Definition at line 105 of file Types.cpp.inc.
|
inline |
Definition at line 46 of file Types.h.inc.
|
static |
Definition at line 77 of file Types.cpp.inc.
| void llzk::polymorphic::TypeVarType::print | ( | ::mlir::AsmPrinter & | odsPrinter | ) | const |
Definition at line 98 of file Types.cpp.inc.
|
static |
Definition at line 48 of file Types.h.inc.
|
static |
Definition at line 47 of file Types.h.inc.