Function lemma_vec_obeys_deep_eq

Source
pub broadcast proof fn lemma_vec_obeys_deep_eq<T: PartialEq + DeepView>()
Expand description
requires
super::super::laws_eq::obeys_deep_eq::<T>(),
ensures
#[trigger] super::super::laws_eq::obeys_deep_eq::<Vec<T>>(),