LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
llzk::ValueLess Struct Reference

#include <LightweightSignalEquivalenceAnalysis.h>

Public Member Functions

bool operator() (const mlir::Value &v1, const mlir::Value &v2) const

Detailed Description

Definition at line 18 of file LightweightSignalEquivalenceAnalysis.h.

Member Function Documentation

◆ operator()()

bool llzk::ValueLess::operator() ( const mlir::Value & v1,
const mlir::Value & v2 ) const
inline

Definition at line 19 of file LightweightSignalEquivalenceAnalysis.h.


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