// Copyright (c) The Libra Core Contributors
// SPDX-License-Identifier: Apache-2.0
//! This crate defines [`trait StateView`](StateView).
use *;
use AccessPath;
/// `StateView` is a trait that defines a read-only snapshot of the global state. It is passed to
/// the VM for transaction execution, during which the VM is guaranteed to read anything at the
/// given state.