Function unordered_over 

pub fn unordered_over<X, Y>(
    left: &[X],
    right: &[Y],
    eq_fn: impl FnMut(&X, &Y) -> bool,
) -> bool

Checks if each element in the first slice is contained within the latter as per eq_fn.