Function vstd::std_specs::hash::borrowed_key_removedCopy item path

pub spec fn borrowed_key_removed<Key, Value, Q: ?Sized>(
    old_m: Map<Key, Value>,
    new_m: Map<Key, Value>,
    k: &Q
) -> bool