Type Alias RuleExtractor 

pub type RuleExtractor<Split> = (&'static str, fn(&[Term], &mut RuleSet<Split>));