Constants.cpp

Go to the documentation of this file.

//===-- Constants.cpp - LLZK constants --------------------------*- C++ -*-===//
//
// Part of the LLZK Project, under the Apache License v2.0.
// See LICENSE.txt for license information.
// Copyright 2025 Veridise Inc.
// SPDX-License-Identifier: Apache-2.0
//
//===----------------------------------------------------------------------===//
 
#include "llzk/Util/Constants.h"
 
#include "llzk-c/Constants.h"
 
const char *LLZK_FUNC_NAME_COMPUTE = llzk::FUNC_NAME_COMPUTE;
const char *LLZK_FUNC_NAME_CONSTRAIN = llzk::FUNC_NAME_CONSTRAIN;
const char *LLZK_LANG_ATTR_NAME = llzk::LANG_ATTR_NAME;
const char *LLZK_MAIN_ATTR_NAME = llzk::MAIN_ATTR_NAME;