|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Groups the information needed after concrete parameters have been chosen to decide how to name a new instantiated template and how to rewrite the remaining argument list at the use site. More...
#include <SharedImpl.h>
Public Attributes | |
| mlir::SmallVector< mlir::Attribute > | remainingNames |
| std::string | templateNameWithAttrs |
| mlir::ArrayAttr | rewrittenCallParams |
Groups the information needed after concrete parameters have been chosen to decide how to name a new instantiated template and how to rewrite the remaining argument list at the use site.
Definition at line 136 of file SharedImpl.h.
| mlir::SmallVector<mlir::Attribute> llzk::polymorphic::detail::InstantiationLayout::remainingNames |
Definition at line 137 of file SharedImpl.h.
| mlir::ArrayAttr llzk::polymorphic::detail::InstantiationLayout::rewrittenCallParams |
Definition at line 139 of file SharedImpl.h.
| std::string llzk::polymorphic::detail::InstantiationLayout::templateNameWithAttrs |
Definition at line 138 of file SharedImpl.h.