LLZK 0.1.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Types.h
Go to the documentation of this file.
1//===-- Types.h -------------------------------------------------*- C++ -*-===//
2//
3// Part of the LLZK Project, under the Apache License v2.0.
4// See LICENSE.txt for license information.
5// Copyright 2026 Project LLZK
6// SPDX-License-Identifier: Apache-2.0
7//
8//===----------------------------------------------------------------------===//
9
10#pragma once
11
14
15namespace llzk::pod {
16
18 mlir::StringRef name;
19 mlir::Value value;
20};
21
22// Type alias for a list of pairs of (symbol, value) in the context of building `pod.new` ops.
23using InitializedRecords = mlir::ArrayRef<RecordValue>;
24
25} // namespace llzk::pod
26
27// Include TableGen'd declarations
28#define GET_TYPEDEF_CLASSES
30
31namespace llzk::pod {
32
33mlir::ParseResult parsePodType(mlir::AsmParser &parser, mlir::SmallVector<RecordAttr> &);
34void printPodType(mlir::AsmPrinter &printer, mlir::ArrayRef<RecordAttr>);
35
36} // namespace llzk::pod
mlir::ArrayRef< RecordValue > InitializedRecords
Definition Types.h:23
ParseResult parsePodType(AsmParser &parser, SmallVector< RecordAttr > &records)
Definition Types.cpp:67
void printPodType(AsmPrinter &printer, ArrayRef< RecordAttr > records)
Definition Types.cpp:79
mlir::Value value
Definition Types.h:19
mlir::StringRef name
Definition Types.h:18