def Map.pop.lo

Base · base.bend:2946

2946def Map.pop.lo(
2947  a, -V: Kind(a), pos: Nat, hi: Map<a, V>, r0: Map<a, V> & Maybe<a, V>
2948) -> Map<a, V> & Maybe<a, V>:
2949  (lo, r) = r0
2950  match lo:
2951    case MTip{}:
2952      (hi, r)
2953    case lo2:
2954      (MNode{pos, lo2, hi}, r)