|
LLZK 0.1.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include "llzk/Dialect/POD/IR/Attrs.h"#include "llzk/Dialect/POD/IR/Dialect.h"#include "llzk/Dialect/POD/IR/Types.h.inc"Go to the source code of this file.
Classes | |
| struct | llzk::pod::RecordValue |
Namespaces | |
| namespace | llzk |
| namespace | llzk::pod |
Macros | |
| #define | GET_TYPEDEF_CLASSES |
Typedefs | |
| using | llzk::pod::InitializedRecords = mlir::ArrayRef<RecordValue> |
Functions | |
| mlir::ParseResult | llzk::pod::parsePodType (mlir::AsmParser &parser, mlir::SmallVector< RecordAttr > &) |
| void | llzk::pod::printPodType (mlir::AsmPrinter &printer, mlir::ArrayRef< RecordAttr >) |