1
2
3
4
5
6
7
8
9

// Copyright (c) The Diem Core Contributors
// Copyright (c) The Move Contributors
// SPDX-License-Identifier: Apache-2.0

mod dynamic_analysis;
mod normalize;

pub use dynamic_analysis::{ConcretizedFormals, ConcretizedSecondaryIndexes};
pub use normalize::NormalizedReadWriteSetAnalysis;