workshop_rs/compare.rs
1//! Behavioral comparison of canonical Workshop programs.
2//!
3//! [`equivalent`] reports whether two [`Program`](crate::Program)s behave the
4//! same and [`difference`] returns the first behavior-relevant difference.
5//! This is the comparison behind source-language reconstruction contracts
6//! such as Workshop→OPY: reconstruction is judged by behavior, not by
7//! structural identity. [`crate::roundtrip::equivalent`] remains the strict
8//! structural check.
9
10pub use crate::output::compare::*;