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
12
13namespace llzk::felt {
14
15mlir::Type FeltConstAttr::getType() const { return FeltType::get(this->getContext()); }
16
17} // namespace llzk::felt
::llzk::felt::FeltType get(::mlir::MLIRContext *context)
Definition Types.h.inc:23