1//===-- Dialect.td -----------------------------------------*- tablegen -*-===//
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
8//===----------------------------------------------------------------------===//
10#ifndef LLZK_CAST_DIALECT
11#define LLZK_CAST_DIALECT
13include "mlir/IR/DialectBase.td"
15def CastDialect : Dialect {
17 let summary = "LLZK type conversion operations.";
19 let cppNamespace = "::llzk::cast";
21 let dependentDialects = ["::llzk::felt::FeltDialect"];
24#endif // LLZK_CAST_DIALECT