tagged_value.cpp File Reference

#include "barretenberg/vm2/common/tagged_value.hpp"
#include <cassert>
#include <functional>
#include <stdexcept>
#include <variant>
#include "barretenberg/numeric/bitop/get_msb.hpp"
#include "barretenberg/numeric/uint128/uint128.hpp"
#include "barretenberg/numeric/uint256/uint256.hpp"
#include "barretenberg/vm2/common/stringify.hpp"
#include "barretenberg/vm2/common/uint1.hpp"

Go to the source code of this file.

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.
namespace	bb::avm2

Functions
uint8_t	bb::avm2::get_tag_bits (ValueTag tag)
uint8_t	bb::avm2::get_tag_bytes (ValueTag tag)
uint256_t	bb::avm2::get_tag_max_value (ValueTag tag)