//! Spec DSL - Domain Specification Language for Large-Scale E2E Tests
//!
//! This module provides:
//! - YAML/TOML parsing for domain specifications
//! - SpecToIntentConverter for generating Vec<Intent> from specs
//! - Verification point definitions
//!
//! # Example YAML
//!
//! ```yaml
//! project:
//! name: "ecommerce"
//!
//! modules:
//! - name: user
//! is_pub: true
//!
//! entities:
//! - name: User
//! module: user
//! fields:
//! - name: id
//! type: UserId
//! ```
pub use ;
pub use ;
pub use *;
pub use ;