LLZK 0.1.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Attrs.h
Go to the documentation of this file.
1//===-- Attrs.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
12#include <mlir/IR/Attributes.h>
13#include <mlir/IR/BuiltinAttributes.h>
14
15// Include TableGen'd declarations
16#define GET_ATTRDEF_CLASSES
18
19namespace llzk::pod {
20
21mlir::ParseResult parseRecord(mlir::AsmParser &parser, mlir::StringAttr &name, mlir::Type &type);
22void printRecord(mlir::AsmPrinter &printer, mlir::StringAttr name, mlir::Type type);
23
24} // namespace llzk::pod
void printRecord(AsmPrinter &printer, StringAttr name, Type type)
Definition Attrs.cpp:35
ParseResult parseRecord(AsmParser &parser, StringAttr &name, Type &type)
Definition Attrs.cpp:27