//! Session management for multi-document editing
//!
//! Provides the `EditorSessionManager` for managing multiple documents
//! with shared resources, arenas, and extension registries. Supports
//! efficient session switching (<100µs target) and resource pooling.
extern crate alloc;
pub use ;
pub use EditorSessionManager;
pub use EditorSession;