LLZK
0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
Attrs.cpp
Go to the documentation of this file.
1
//===-- Attrs.cpp - Felt Attr method implementations ------------*- 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
#include "
llzk/Dialect/Felt/IR/Attrs.h
"
11
#include "
llzk/Dialect/Felt/IR/Types.h
"
12
13
namespace
llzk::felt
{
14
15
mlir::Type FeltConstAttr::getType()
const
{
return
FeltType::get
(this->getContext()); }
16
17
}
// namespace llzk::felt
Attrs.h
Types.h
llzk::felt::FeltType::get
::llzk::felt::FeltType get(::mlir::MLIRContext *context)
Definition
Types.h.inc:23
llzk::felt
Definition
Attrs.cpp:13
lib
Dialect
Felt
IR
Attrs.cpp
Generated by
1.13.2
Copyright 2025 Veridise Inc. under the Apache License v2.0.