memory_types.hpp File Reference

#include <cstdint>
#include "barretenberg/vm2/common/tagged_value.hpp"

Go to the source code of this file.

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

Typedefs
using	bb::avm2::MemoryTag = ValueTag
using	bb::avm2::MemoryValue = TaggedValue
using	bb::avm2::MemoryAddress = uint32_t

Variables
constexpr auto	bb::avm2::MemoryAddressTag = MemoryTag::U32