LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
llzk::function::Verification<>::Impl Class Reference

#include <OpTraits.h>

Inheritance diagram for llzk::function::Verification<>::Impl:
[legend]
Collaboration diagram for llzk::function::Verification<>::Impl:
[legend]

Static Public Member Functions

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

Detailed Description

Definition at line 82 of file OpTraits.h.

Member Function Documentation

◆ verifyTrait()

mlir::LogicalResult llzk::function::Verification<>::Impl::verifyTrait ( mlir::Operation * op)
inlinestatic

Definition at line 84 of file OpTraits.h.


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