pub type DefinitionEntryRef<'a, T, B> = (&'a Key, &'a TermDefinition<T, B>);