mod classify;
mod commutation;
mod create;
mod delete;
mod evidence;
mod evidence_types;
mod facts;
mod preimage;
mod replay_oracle;
mod report;
mod text_pair;
mod text_preimage;
mod types;
mod witness;
pub(crate) use evidence::StorePatchAlgebraEvidence;
pub(crate) use evidence_types::EvidenceScope;
pub(crate) use report::{
MergeEvidenceItem, MergeEvidenceOperationKind, MergeEvidenceOutcome, MergeEvidenceProofPhase,
MergeEvidenceReasonCode, MergeEvidenceReport, MergeEvidenceScope, MergeEvidenceSide,
analyze_merge_evidence,
};
#[cfg(test)]
mod tests;