Function maps_borrowed_key_to_valueCopy item path

pub uninterp fn maps_borrowed_key_to_value<Key, Value, Q: ?Sized>(
    m: Map<Key, Value>,
    k: &Q,
    v: Value,
) -> bool