Function set_contains_borrowed_keyCopy item path

pub uninterp fn set_contains_borrowed_key<Key, Q: ?Sized>(m: Set<Key>, k: &Q) -> bool