///|
pub extend Diagnostic with @debug.Debug::{to_repr}

///|
pub extend Diagnostic with Eq::{equal, not_equal}

///|
pub extend Failure with @debug.Debug::{to_repr}

///|
pub extend ParseLimits with @debug.Debug::{to_repr}

///|
pub extend ParseLimits with Eq::{equal, not_equal}

///|
pub extend Port with @debug.Debug::{to_repr}

///|
pub extend Port with Eq::{equal, not_equal}

///|
pub extend Frame with @debug.Debug::{to_repr}

///|
pub extend Frame with Eq::{equal, not_equal}

///|
pub extend Observation with @debug.Debug::{to_repr}

///|
pub extend Observation with Eq::{equal, not_equal}

///|
pub extend Trace with @debug.Debug::{to_repr}

///|
pub extend Trace with Eq::{equal, not_equal}

///|

///|
pub extend Limits with @debug.Debug::{to_repr}

///|
pub extend Limits with Eq::{equal, not_equal}

///|
pub extend SatResult with @debug.Debug::{to_repr}

///|
pub extend SatResult with Eq::{equal, not_equal}

///|
pub extend Verdict with @debug.Debug::{to_repr}

///|
pub extend Verdict with Eq::{equal, not_equal}