LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
llzk::LLZKSymbolTableImplTrait< TypeClass > Class Template Reference

See LLZKSymbolTable ODS documentation for details. More...

#include <OpHelpers.h>

Inheritance diagram for llzk::LLZKSymbolTableImplTrait< TypeClass >:
[legend]
Collaboration diagram for llzk::LLZKSymbolTableImplTrait< TypeClass >:
[legend]

Static Public Member Functions

static mlir::LogicalResult verifyRegionTrait (mlir::Operation *op)

Detailed Description

template<typename TypeClass>
class llzk::LLZKSymbolTableImplTrait< TypeClass >

See LLZKSymbolTable ODS documentation for details.

Definition at line 32 of file OpHelpers.h.

Member Function Documentation

◆ verifyRegionTrait()

template<typename TypeClass>
mlir::LogicalResult llzk::LLZKSymbolTableImplTrait< TypeClass >::verifyRegionTrait ( mlir::Operation * op)
inlinestatic

Definition at line 35 of file OpHelpers.h.


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