//! Unified AST representation for cross-language code analysis
//!
//! This module provides a language-agnostic AST representation that enables
//! consistent analysis across Rust, TypeScript/JavaScript, and Python codebases.
//! Enhanced with formal verification metadata for proof-enriched ASTs.
// Re-export all public types for backward compatibility
pub use *;
pub use *;
pub use *;
pub use *;
pub use *;
pub use *;
// Tests extracted to core_tests.rs for file health compliance (CB-040)