LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
llzk::HasAncestor< Ancestors >::Impl< ConcreteType > Struct Template Reference

#include <OpHelpers.h>

Inheritance diagram for llzk::HasAncestor< Ancestors >::Impl< ConcreteType >:
[legend]
Collaboration diagram for llzk::HasAncestor< Ancestors >::Impl< ConcreteType >:
[legend]

Static Public Member Functions

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

Detailed Description

template<typename... Ancestors>
template<typename ConcreteType>
struct llzk::HasAncestor< Ancestors >::Impl< ConcreteType >

Definition at line 105 of file OpHelpers.h.

Member Function Documentation

◆ verifyRegionTrait()

template<typename... Ancestors>
template<typename ConcreteType>
mlir::LogicalResult llzk::HasAncestor< Ancestors >::Impl< ConcreteType >::verifyRegionTrait ( mlir::Operation * op)
inlinestatic

Definition at line 106 of file OpHelpers.h.


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