LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
Compare.h File Reference
#include <mlir/IR/Operation.h>
#include <concepts>
Include dependency graph for Compare.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  llzk::OpLocationLess< Op >
 
struct  llzk::NamedOpLocationLess< Op >
 

Namespaces

namespace  llzk
 

Concepts

concept  llzk::OpComparable
 
concept  llzk::NamedOpComparable
 

Functions

template<OpComparable Op>
mlir::FailureOr< bool > llzk::isLocationLess (const Op &l, const Op &r)