LLZK 2.1.1
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 2025 Veridise Inc.
6// SPDX-License-Identifier: Apache-2.0
7//
8//===----------------------------------------------------------------------===//
9
10#pragma once
11
13
14#include <mlir/IR/Attributes.h>
15#include <mlir/IR/BuiltinOps.h>
16
17// Include TableGen'd declarations
18#define GET_ATTRDEF_CLASSES
20
21namespace llzk {
22
23mlir::FailureOr<component::StructType>
24getTypeFromLlzkMainAttr(mlir::ModuleOp op, mlir::Attribute attr);
25
26}
FailureOr< StructType > getTypeFromLlzkMainAttr(ModuleOp op, Attribute attr)
Definition Attrs.cpp:24