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

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

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

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