LLZK
2.0.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 2025 Veridise Inc.
6
// SPDX-License-Identifier: Apache-2.0
7
//
8
//===----------------------------------------------------------------------===//
9
10
#pragma once
11
12
#include "
llzk/Dialect/Struct/IR/Dialect.h
"
13
#include "
llzk/Util/SymbolLookup.h
"
14
#include "
llzk/Util/TypeHelper.h
"
15
16
// Forward-declare ops since StructDefOp is used within type definitions
17
#include "
llzk/Dialect/Struct/IR/Ops.h.inc
"
18
19
// Include TableGen'd declarations
20
#define GET_TYPEDEF_CLASSES
21
#include "
llzk/Dialect/Struct/IR/Types.h.inc
"
Dialect.h
Ops.h.inc
Types.h.inc
SymbolLookup.h
This file defines methods symbol lookup across LLZK operations and included files.
TypeHelper.h
include
llzk
Dialect
Struct
IR
Types.h
Generated by
1.14.0
Copyright 2025 Veridise Inc. under the Apache License v2.0. Copyright 2026 Project LLZK under the Apache License v2.0.