Function lemma_ref_obeys_view_eq Copy item path

pub broadcast proof fn lemma_ref_obeys_view_eq<T: PartialEq + View>()

obeys_view_eq::<T>(),

#[trigger] obeys_view_eq::<&T>(),