def del_drop
import bend-collections-laws-crypto@1.0.0.0/src/containers/hash_table.bend as HashTableimport Base
527def del_drop(a, -V: Kind(a), r: HashMap<a, V> & Maybe<a, V>) -> HashMap<a, V>:
528 (m, v) = r
529 m
import bend-collections-laws-crypto@1.0.0.0/src/containers/hash_table.bend as HashTableimport Base
527def del_drop(a, -V: Kind(a), r: HashMap<a, V> & Maybe<a, V>) -> HashMap<a, V>:
528 (m, v) = r
529 m