supercode_harness/reduce.rs
1//! Reversible reduction for supercode sessions: the reducer package, plus the
2//! adapter that exports, projects and inverts a stored session through it.
3
4mod session_adapter;
5
6pub use session_adapter::{
7 export_session, export_session_spliced, export_session_spliced_with_overrides, invert,
8 invert_one, project, verify_log,
9};
10pub use supercode_reduce::*;