pub(crate) fn unit_matches( object: &str, idx: &Index, mk: impl Fn(&UnitId) -> (Transition, String), ) -> Vec<Match>