sway_core/
semantic_analysis.rs

1//! Type checking for Sway.
2pub mod ast_node;
3pub(crate) mod cei_pattern_analysis;
4pub(crate) mod coins_analysis;
5mod module;
6pub mod namespace;
7mod node_dependencies;
8pub mod program;
9pub mod symbol_collection_context;
10pub mod symbol_resolve;
11pub mod symbol_resolve_context;
12mod type_check_analysis;
13pub(crate) mod type_check_context;
14mod type_check_finalization;
15pub(crate) mod type_resolve;
16pub use ast_node::*;
17pub use namespace::Namespace;
18pub(crate) use type_check_analysis::*;
19pub(crate) use type_check_context::TypeCheckContext;
20pub(crate) use type_check_finalization::*;