def OMap.rot_lo.double

bend-kit-collections@0.1.4.1 · omap.bend:41

import Base

41def OMap.rot_lo.double(
42  -K: Data, -V: Data, k: K, v: V, lo: OMap<K, V>, hk: K, hv: V,
43  hl: OMap<K, V>, hh: OMap<K, V>
44) -> OMap<K, V>:
45  match hl:
46    case OTip{}:
47      OMap.bin(K, V, hk, hv, OMap.bin(K, V, k, v, lo, OTip{}), hh)
48    case OBin{s, mk, mv, ml, mh}:
49      OMap.bin(K, V, mk, mv, OMap.bin(K, V, k, v, lo, ml),
50        OMap.bin(K, V, hk, hv, mh, hh))