pub fn prop_assert_reference<In: Clone + Arbitrary + 'static, Ix: Index<In>, T: Debug + PartialEq + 'static>(
mk_index: impl Fn() -> Ix,
query: impl Fn(Collection<In, Ix>) -> T,
reference_impl: impl Fn(Vec<In>) -> T,
config: Option<Config>,
)