cairo_lang_semantic/
lib.rs

1//! Semantic model representation and queries for Cairo.
2//! The semantic model represents the Cairo program after type resolution and some syntax
3//! desugaring.
4
5pub mod corelib;
6pub mod db;
7pub mod diagnostic;
8pub mod expr;
9pub mod inline_macros;
10pub mod items;
11pub mod literals;
12pub mod lookup_item;
13pub mod lsp_helpers;
14pub mod plugin;
15pub mod resolve;
16pub mod substitution;
17pub mod types;
18pub mod usage;
19
20mod semantic;
21
22pub use diagnostic::SemanticDiagnostic;
23pub use substitution::SemanticObject;
24
25pub use self::semantic::*;
26
27#[cfg(any(feature = "testing", test))]
28pub mod test_utils;
29
30#[cfg(test)]
31mod test;