pub fn canonical_ready_checkpoint<'a, K: Clone + Ord + 'a>( dependencies: impl Iterator<Item = (&'a K, &'a BTreeSet<K>)>, applied: &BTreeSet<K>, ) -> Option<K>