Type Alias InductionProvenanceRegistry 

pub type InductionProvenanceRegistry = InducedRuleRegistry;

Backwards-compatible registry name for induced rule provenance.

Aliased Type

pub struct InductionProvenanceRegistry { /* private fields */ }