def Map.del.fin

Base · base.bend:3002

3002def Map.del.fin(a, -V: Kind(a), r: Map<a, V> & Maybe<a, V>) -> Map<a, V>:
3003  (m2, x) = r
3004  m2