//! Reversible reduction for supercode sessions: the reducer package, plus the
//! adapter that exports, projects and inverts a stored session through it.
mod session_adapter;
pub use session_adapter::{
export_session, export_session_spliced, export_session_spliced_with_overrides, invert,
invert_one, project, verify_log,
};
pub use supercode_reduce::*;