xlog_induce/provenance.rs
1//! Compatibility aliases for generated induction provenance.
2//!
3//! v0.8.7 introduced `InductionProvenanceRegistry`; v0.8.8 generalized the
4//! same surface as `InducedRuleRegistry`. Keep the older name as an alias so
5//! Project 1 reproducers and consumers do not lose their validated API.
6
7pub use crate::types::{
8 InducedRuleProvenance, InductionAlternative, InductionSupportRow, RuleSourceKind,
9};
10
11/// Backwards-compatible registry name for induced rule provenance.
12pub type InductionProvenanceRegistry = crate::types::InducedRuleRegistry;