|
LLZK 0.1.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include <llvm/ADT/SetVector.h>#include <llvm/ADT/SmallVectorExtras.h>#include <llvm/Support/Debug.h>#include <llvm/Support/LogicalResult.h>#include <concepts>Go to the source code of this file.
Namespaces | |
| namespace | llzk |
| namespace | llzk::alignmentHelpers |
Concepts | |
| concept | llzk::alignmentHelpers::Matcher |
Functions | |
| template<class ValueT, class FnT> requires Matcher<ValueT, FnT> | |
| llvm::FailureOr< llvm::SetVector< std::pair< ValueT, ValueT > > > | llzk::alignmentHelpers::getMatchingPairs (llvm::ArrayRef< ValueT > as, llvm::ArrayRef< ValueT > bs, FnT doesMatch, bool allowPartial=true) |