def del_drop

import bend-collections-laws-math@1.0.0.0/src/containers/hash_table.bend as HashTable

import Base

527def del_drop(a, -V: Kind(a), r: HashMap<a, V> & Maybe<a, V>) -> HashMap<a, V>:
528  (m, v) = r
529  m

Uses (4)