Function extern_spec_T_S_A_HashSet_T_S_A_contains 

pub fn extern_spec_T_S_A_HashSet_T_S_A_contains<T, S: BuildHasher, A: Allocator, Q: ?Sized + Eq + Hash + DeepModel<DeepModelTy = T::DeepModelTy>>(
    self_: &HashSet<T, S, A>,
    value: &Q,
) -> bool
where
    T: Borrow<Q> + Eq + Hash + DeepModel,

extern spec for HashSet<T, S, A>::contains

This is not a real function: its only use is for documentation.

ensures

self