|
LLZK 0.1.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include <mlir/IR/Diagnostics.h>#include <llvm/ADT/DenseMapInfo.h>#include <llvm/ADT/StringRef.h>#include <llvm/Support/raw_ostream.h>#include "llzk/Dialect/Bool/IR/Enums.h.inc"