def Map.del
import Base3006def Map.del(a, -V: Kind(a), m: Map<a, V>, key: String) -> Map<a, V>:
3007 Map.del.fin(a, V, Map.pop(a, V, m, key))
import Base3006def Map.del(a, -V: Kind(a), m: Map<a, V>, key: String) -> Map<a, V>:
3007 Map.del.fin(a, V, Map.pop(a, V, m, key))