Module semantic_analysis 

Type checking for Sway.

Re-exports

pub use namespace::Namespace;

pub use ast_node::*;

Modules

ast_node

namespace

program

symbol_collection_context

symbol_resolve

symbol_resolve_context

Structs

TypeCheckContext

Contextual state tracked and accumulated throughout type-checking.