|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
A rolled method call and the concrete specializations it may target. More...
#include <StructSpecializationDiscovery.h>
Public Attributes | |
| mlir::Operation * | site |
| llvm::SmallVector< component::StructType > | candidates |
A rolled method call and the concrete specializations it may target.
An empty list is meaningful when a known array has an empty dimension.
Definition at line 48 of file StructSpecializationDiscovery.h.
| llvm::SmallVector<component::StructType> llzk::polymorphic::detail::RolledCallTargets::candidates |
Definition at line 50 of file StructSpecializationDiscovery.h.
| mlir::Operation* llzk::polymorphic::detail::RolledCallTargets::site |
Definition at line 49 of file StructSpecializationDiscovery.h.