|
LLZK 0.1.0
Veridise's ZK Language IR
|
#include <LightweightSignalEquivalenceAnalysis.h>
Public Member Functions | |
| bool | operator() (const mlir::Value &v1, const mlir::Value &v2) const |
Definition at line 18 of file LightweightSignalEquivalenceAnalysis.h.
|
inline |
Definition at line 19 of file LightweightSignalEquivalenceAnalysis.h.