LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
llzk::polymorphic::detail::InstantiationLayout Struct Reference

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

Detailed Description

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.

Member Data Documentation

◆ remainingNames

mlir::SmallVector<mlir::Attribute> llzk::polymorphic::detail::InstantiationLayout::remainingNames

Definition at line 137 of file SharedImpl.h.

◆ rewrittenCallParams

mlir::ArrayAttr llzk::polymorphic::detail::InstantiationLayout::rewrittenCallParams

Definition at line 139 of file SharedImpl.h.

◆ templateNameWithAttrs

std::string llzk::polymorphic::detail::InstantiationLayout::templateNameWithAttrs

Definition at line 138 of file SharedImpl.h.


The documentation for this struct was generated from the following file: