def Map.pop.hi

Base · base.bend:2956

2956def Map.pop.hi(
2957  a, -V: Kind(a), pos: Nat, lo: Map<a, V>, r0: Map<a, V> & Maybe<a, V>
2958) -> Map<a, V> & Maybe<a, V>:
2959  (hi, r) = r0
2960  match hi:
2961    case MTip{}:
2962      (lo, r)
2963    case hi2:
2964      (MNode{pos, lo, hi2}, r)