fn print_knowledge_map<'a>( knowledge: &BTreeMap<Id, Vec<DatumKnowledge>>, ids: impl Iterator<Item = &'a LocalId>, )