|| Generated Sapl file for Map.icl


Map.newMap = Map.MLeaf
Map.height !_x_0 = select _x_0 (\ left_1_0 k_1_1 h_1_2 v_1_3 right_1_4 = _predefined._Tuple2 h_1_2 (Map.MNode left_1_0 k_1_1 h_1_2 v_1_3 right_1_4)) (_predefined._Tuple2 0 Map.MLeaf)
Map.leftDeepest_18 !_x_0 = select _x_0 (\ left_1_0 k_1_1 h_1_2 v_1_3 right_1_4 = let _x_2_0 = Map.height right_1_4, _x_2_1 = Map.height left_1_0 in _predefined._Tuple2 (<{StdInt.<_17}> (_predefined.tupsels2v0 _x_2_0) (_predefined.tupsels2v0 _x_2_1)) (Map.MNode (_predefined.tupsels2v1 _x_2_1) k_1_1 h_1_2 v_1_3 (_predefined.tupsels2v1 _x_2_0))) (_predefined._Tuple2 False Map.MLeaf)
Map.leftleftRotate_19 !_x_0 = select _x_0 (\ _x_1_0 rk_1_1 _x_1_2 rv_1_3 a_1_4 = select _x_1_0 (\ _x_2_0 pk_2_1 _x_2_2 pv_2_3 b_2_4 = select _x_2_0 (\ d_3_0 xk_3_1 xh_3_2 xv_3_3 c_3_4 = let _x_4_0 = Map.height b_2_4, bh_4_1 = _predefined.tupsels2v0 _x_4_0, _x_4_2 = Map.height a_1_4, ah_4_3 = _predefined.tupsels2v0 _x_4_2, rh_4_4 = <{StdInt.+_6}> (<{Map._c;51;16_23}> (<{StdInt.<_17}> bh_4_1 ah_4_3) ah_4_3 bh_4_1) 1 in Map.MNode (Map.MNode d_3_0 xk_3_1 xh_3_2 xv_3_3 c_3_4) pk_2_1 (<{StdInt.+_6}> (<{Map._c;51;16_24}> (<{StdInt.<_17}> xh_3_2 rh_4_4) rh_4_4 xh_3_2) 1) pv_2_3 (Map.MNode (_predefined.tupsels2v1 _x_4_0) rk_1_1 rh_4_4 rv_1_3 (_predefined.tupsels2v1 _x_4_2))) (Map.leftleftRotate_19_def0 _x_0)) (Map.leftleftRotate_19_def0 _x_0)) (Map.leftleftRotate_19_def0 _x_0)
Map.leftleftRotate_19_def0 !_x_0 = _x_0
<{Map._c;51;16_24}> !_x_0 rh_1 xh_2 = if (<{StdBool.==_3}> _x_0 True) rh_1 (<{Map._c;51;16_24_def0}> _x_0 rh_1 xh_2)
<{Map._c;51;16_24_def0}> !_x_0 rh_1 xh_2 = xh_2
<{Map._c;51;16_23}> !_x_0 ah_1 bh_2 = if (<{StdBool.==_3}> _x_0 True) ah_1 (<{Map._c;51;16_23_def0}> _x_0 ah_1 bh_2)
<{Map._c;51;16_23_def0}> !_x_0 ah_1 bh_2 = bh_2
Map.leftrightRotate_20 !_x_0 = select _x_0 (\ _x_1_0 xk_1_1 _x_1_2 xv_1_3 a_1_4 = select _x_1_0 (\ b_2_0 rk_2_1 _x_2_2 rv_2_3 _x_2_4 = select _x_2_4 (\ c_3_0 pk_3_1 _x_3_2 pv_3_3 d_3_4 = let _x_4_0 = Map.height b_2_0, bh_4_1 = _predefined.tupsels2v0 _x_4_0, _x_4_2 = Map.height c_3_0, ch_4_3 = _predefined.tupsels2v0 _x_4_2, rh_4_4 = <{StdInt.+_6}> (<{Map._c;51;16_26}> (<{StdInt.<_17}> bh_4_1 ch_4_3) ch_4_3 bh_4_1) 1, _x_4_5 = Map.height d_3_4, dh_4_6 = _predefined.tupsels2v0 _x_4_5, _x_4_7 = Map.height a_1_4, ah_4_8 = _predefined.tupsels2v0 _x_4_7, xh_4_9 = <{StdInt.+_6}> (<{Map._c;51;16_25}> (<{StdInt.<_17}> dh_4_6 ah_4_8) ah_4_8 dh_4_6) 1 in Map.MNode (Map.MNode (_predefined.tupsels2v1 _x_4_0) rk_2_1 rh_4_4 rv_2_3 (_predefined.tupsels2v1 _x_4_2)) pk_3_1 (<{StdInt.+_6}> (<{Map._c;51;16_27}> (<{StdInt.<_17}> rh_4_4 xh_4_9) xh_4_9 rh_4_4) 1) pv_3_3 (Map.MNode (_predefined.tupsels2v1 _x_4_5) xk_1_1 xh_4_9 xv_1_3 (_predefined.tupsels2v1 _x_4_7))) (Map.leftrightRotate_20_def0 _x_0)) (Map.leftrightRotate_20_def0 _x_0)) (Map.leftrightRotate_20_def0 _x_0)
Map.leftrightRotate_20_def0 !_x_0 = _x_0
<{Map._c;51;16_27}> !_x_0 xh_1 rh_2 = if (<{StdBool.==_3}> _x_0 True) xh_1 (<{Map._c;51;16_27_def0}> _x_0 xh_1 rh_2)
<{Map._c;51;16_27_def0}> !_x_0 xh_1 rh_2 = rh_2
<{Map._c;51;16_26}> !_x_0 ch_1 bh_2 = if (<{StdBool.==_3}> _x_0 True) ch_1 (<{Map._c;51;16_26_def0}> _x_0 ch_1 bh_2)
<{Map._c;51;16_26_def0}> !_x_0 ch_1 bh_2 = bh_2
<{Map._c;51;16_25}> !_x_0 ah_1 dh_2 = if (<{StdBool.==_3}> _x_0 True) ah_1 (<{Map._c;51;16_25_def0}> _x_0 ah_1 dh_2)
<{Map._c;51;16_25_def0}> !_x_0 ah_1 dh_2 = dh_2
Map.rightleftRotate_21 !_x_0 = select _x_0 (\ a_1_0 xk_1_1 _x_1_2 xv_1_3 _x_1_4 = select _x_1_4 (\ _x_2_0 rk_2_1 _x_2_2 rv_2_3 b_2_4 = select _x_2_0 (\ d_3_0 pk_3_1 _x_3_2 pv_3_3 c_3_4 = let _x_4_0 = Map.height a_1_0, ah_4_1 = _predefined.tupsels2v0 _x_4_0, _x_4_2 = Map.height d_3_0, dh_4_3 = _predefined.tupsels2v0 _x_4_2, xh_4_4 = <{StdInt.+_6}> (<{Map._c;51;16_29}> (<{StdInt.<_17}> ah_4_1 dh_4_3) dh_4_3 ah_4_1) 1, _x_4_5 = Map.height c_3_4, ch_4_6 = _predefined.tupsels2v0 _x_4_5, _x_4_7 = Map.height b_2_4, bh_4_8 = _predefined.tupsels2v0 _x_4_7, rh_4_9 = <{StdInt.+_6}> (<{Map._c;51;16_28}> (<{StdInt.<_17}> ch_4_6 bh_4_8) bh_4_8 ch_4_6) 1 in Map.MNode (Map.MNode (_predefined.tupsels2v1 _x_4_0) xk_1_1 xh_4_4 xv_1_3 (_predefined.tupsels2v1 _x_4_2)) pk_3_1 (<{StdInt.+_6}> (<{Map._c;51;16_30}> (<{StdInt.<_17}> xh_4_4 rh_4_9) rh_4_9 xh_4_4) 1) pv_3_3 (Map.MNode (_predefined.tupsels2v1 _x_4_5) rk_2_1 rh_4_9 rv_2_3 (_predefined.tupsels2v1 _x_4_7))) (Map.rightleftRotate_21_def0 _x_0)) (Map.rightleftRotate_21_def0 _x_0)) (Map.rightleftRotate_21_def0 _x_0)
Map.rightleftRotate_21_def0 !_x_0 = _x_0
<{Map._c;51;16_30}> !_x_0 rh_1 xh_2 = if (<{StdBool.==_3}> _x_0 True) rh_1 (<{Map._c;51;16_30_def0}> _x_0 rh_1 xh_2)
<{Map._c;51;16_30_def0}> !_x_0 rh_1 xh_2 = xh_2
<{Map._c;51;16_29}> !_x_0 dh_1 ah_2 = if (<{StdBool.==_3}> _x_0 True) dh_1 (<{Map._c;51;16_29_def0}> _x_0 dh_1 ah_2)
<{Map._c;51;16_29_def0}> !_x_0 dh_1 ah_2 = ah_2
<{Map._c;51;16_28}> !_x_0 bh_1 ch_2 = if (<{StdBool.==_3}> _x_0 True) bh_1 (<{Map._c;51;16_28_def0}> _x_0 bh_1 ch_2)
<{Map._c;51;16_28_def0}> !_x_0 bh_1 ch_2 = ch_2
Map.rightrightRotate_22 !_x_0 = select _x_0 (\ a_1_0 rk_1_1 _x_1_2 rv_1_3 _x_1_4 = select _x_1_4 (\ b_2_0 pk_2_1 _x_2_2 pv_2_3 _x_2_4 = select _x_2_4 (\ c_3_0 xk_3_1 xh_3_2 xv_3_3 d_3_4 = let _x_4_0 = Map.height a_1_0, ah_4_1 = _predefined.tupsels2v0 _x_4_0, _x_4_2 = Map.height b_2_0, bh_4_3 = _predefined.tupsels2v0 _x_4_2, rh_4_4 = <{StdInt.+_6}> (<{Map._c;51;16_31}> (<{StdInt.<_17}> ah_4_1 bh_4_3) bh_4_3 ah_4_1) 1 in Map.MNode (Map.MNode (_predefined.tupsels2v1 _x_4_0) rk_1_1 rh_4_4 rv_1_3 (_predefined.tupsels2v1 _x_4_2)) pk_2_1 (<{StdInt.+_6}> (<{Map._c;51;16_32}> (<{StdInt.<_17}> rh_4_4 xh_3_2) xh_3_2 rh_4_4) 1) pv_2_3 (Map.MNode c_3_0 xk_3_1 xh_3_2 xv_3_3 d_3_4)) (Map.rightrightRotate_22_def0 _x_0)) (Map.rightrightRotate_22_def0 _x_0)) (Map.rightrightRotate_22_def0 _x_0)
Map.rightrightRotate_22_def0 !_x_0 = _x_0
<{Map._c;51;16_32}> !_x_0 xh_1 rh_2 = if (<{StdBool.==_3}> _x_0 True) xh_1 (<{Map._c;51;16_32_def0}> _x_0 xh_1 rh_2)
<{Map._c;51;16_32_def0}> !_x_0 xh_1 rh_2 = rh_2
<{Map._c;51;16_31}> !_x_0 bh_1 ah_2 = if (<{StdBool.==_3}> _x_0 True) bh_1 (<{Map._c;51;16_31_def0}> _x_0 bh_1 ah_2)
<{Map._c;51;16_31_def0}> !_x_0 bh_1 ah_2 = ah_2
Map.balance !_x_0 = select _x_0 (\ left_1_0 k_1_1 h_1_2 v_1_3 right_1_4 = let _x_2_0 = Map.height right_1_4, hright_2_1 = _predefined.tupsels2v0 _x_2_0, _x_2_2 = Map.height left_1_0, hleft_2_3 = _predefined.tupsels2v0 _x_2_2, balanceFactor_2_4 = <{StdInt.-_7}> hright_2_1 hleft_2_3 in Map.balance_select3 _x_2_0 hright_2_1 _x_2_2 hleft_2_3 balanceFactor_2_4 left_1_0 k_1_1 h_1_2 v_1_3 right_1_4 _x_0) Map.MLeaf
Map.balance_select0 left_3_0 _x_3_1 _x_2_0 hright_2_1 _x_2_2 hleft_2_3 balanceFactor_2_4 left_1_0 k_1_1 h_1_2 v_1_3 right_1_4 !_x_0 = if (_predefined.tupsels2v0 _x_3_1) (Map.leftleftRotate_19 (Map.MNode (_predefined.tupsels2v1 _x_3_1) k_1_1 h_1_2 v_1_3 (_predefined.tupsels2v1 _x_2_0))) (Map.leftrightRotate_20 (Map.MNode (_predefined.tupsels2v1 _x_3_1) k_1_1 h_1_2 v_1_3 (_predefined.tupsels2v1 _x_2_0)))
Map.balance_select1 right_3_0 _x_3_1 _x_2_0 hright_2_1 _x_2_2 hleft_2_3 balanceFactor_2_4 left_1_0 k_1_1 h_1_2 v_1_3 right_1_4 !_x_0 = if (_predefined.tupsels2v0 _x_3_1) (Map.rightleftRotate_21 (Map.MNode (_predefined.tupsels2v1 _x_2_2) k_1_1 h_1_2 v_1_3 (_predefined.tupsels2v1 _x_3_1))) (Map.rightrightRotate_22 (Map.MNode (_predefined.tupsels2v1 _x_2_2) k_1_1 h_1_2 v_1_3 (_predefined.tupsels2v1 _x_3_1)))
Map.balance_select2 _x_2_0 hright_2_1 _x_2_2 hleft_2_3 balanceFactor_2_4 left_1_0 k_1_1 h_1_2 v_1_3 right_1_4 !_x_0 = if (<{StdInt.<_17}> 1 balanceFactor_2_4) (let right_3_0 = _predefined.tupsels2v1 _x_2_0, _x_3_1 = Map.leftDeepest_18 right_3_0 in Map.balance_select1 right_3_0 _x_3_1 _x_2_0 hright_2_1 _x_2_2 hleft_2_3 balanceFactor_2_4 left_1_0 k_1_1 h_1_2 v_1_3 right_1_4 _x_0) (Map.MNode (_predefined.tupsels2v1 _x_2_2) k_1_1 h_1_2 v_1_3 (_predefined.tupsels2v1 _x_2_0))
Map.balance_select3 _x_2_0 hright_2_1 _x_2_2 hleft_2_3 balanceFactor_2_4 left_1_0 k_1_1 h_1_2 v_1_3 right_1_4 !_x_0 = if (<{StdInt.<_17}> balanceFactor_2_4 -1) (let left_3_0 = _predefined.tupsels2v1 _x_2_2, _x_3_1 = Map.leftDeepest_18 left_3_0 in Map.balance_select0 left_3_0 _x_3_1 _x_2_0 hright_2_1 _x_2_2 hleft_2_3 balanceFactor_2_4 left_1_0 k_1_1 h_1_2 v_1_3 right_1_4 _x_0) (Map.balance_select2 _x_2_0 hright_2_1 _x_2_2 hleft_2_3 balanceFactor_2_4 left_1_0 k_1_1 h_1_2 v_1_3 right_1_4 _x_0)
Map.update_12 !left_0 !nk_1 nv_2 !right_3 = let _x_1_0 = Map.height left_0, hleft_1_1 = _predefined.tupsels2v0 _x_1_0, _x_1_2 = Map.height right_3, hright_1_3 = _predefined.tupsels2v0 _x_1_2 in Map.balance (Map.MNode (_predefined.tupsels2v1 _x_1_0) nk_1 (<{StdInt.+_6}> (<{Map._c;51;16_33}> (<{StdInt.<_17}> hleft_1_1 hright_1_3) hright_1_3 hleft_1_1) 1) nv_2 (_predefined.tupsels2v1 _x_1_2))
<{Map._c;51;16_33}> !_x_0 hright_1 hleft_2 = if (<{StdBool.==_3}> _x_0 True) hright_1 (<{Map._c;51;16_33_def0}> _x_0 hright_1 hleft_2)
<{Map._c;51;16_33_def0}> !_x_0 hright_1 hleft_2 = hleft_2
Map.put !_vEq_0 !_vOrd_1 !k_2 v_3 !_x_4 = select _x_4 (\ left_1_0 nk_1_1 h_1_2 nv_1_3 right_1_4 = if (<{StdOverloaded.get_==_6}> (<{StdClass.get_==_17}> _vEq_0) k_2 nk_1_1) (Map.MNode left_1_0 k_2 h_1_2 v_3 right_1_4) (if (<{StdOverloaded.get_<_7}> (<{StdClass.get_<_18}> _vOrd_1) k_2 nk_1_1) (Map.update_12 (Map.put _vEq_0 _vOrd_1 k_2 v_3 left_1_0) nk_1_1 nv_1_3 right_1_4) (Map.update_12 left_1_0 nk_1_1 nv_1_3 (Map.put _vEq_0 _vOrd_1 k_2 v_3 right_1_4)))) (Map.MNode Map.MLeaf k_2 1 v_3 Map.MLeaf)
Map.get !_vEq_0 !_vOrd_1 !k_2 !_x_3 = select _x_3 (\ left_1_0 nk_1_1 _x_1_2 nv_1_3 right_1_4 = if (<{StdOverloaded.get_==_6}> (<{StdClass.get_==_17}> _vEq_0) k_2 nk_1_1) (Maybe.Just nv_1_3) (if (<{StdOverloaded.get_<_7}> (<{StdClass.get_<_18}> _vOrd_1) k_2 nk_1_1) (Map.get _vEq_0 _vOrd_1 k_2 left_1_0) (Map.get _vEq_0 _vOrd_1 k_2 right_1_4))) Maybe.Nothing
Map.getU !_vEq_0 !_vOrd_1 !k_2 !_x_3 = select _x_3 (\ left_1_0 nk_1_1 h_1_2 nv_1_3 right_1_4 = if (<{StdOverloaded.get_==_6}> (<{StdClass.get_==_17}> _vEq_0) k_2 nk_1_1) (_predefined._Tuple2 (Maybe.Just nv_1_3) (Map.MNode left_1_0 nk_1_1 h_1_2 nv_1_3 right_1_4)) (if (<{StdOverloaded.get_<_7}> (<{StdClass.get_<_18}> _vOrd_1) k_2 nk_1_1) (let _x_2_0 = Map.getU _vEq_0 _vOrd_1 k_2 left_1_0 in _predefined._Tuple2 (_predefined.tupsels2v0 _x_2_0) (Map.MNode (_predefined.tupsels2v1 _x_2_0) nk_1_1 h_1_2 nv_1_3 right_1_4)) (let _x_2_0 = Map.getU _vEq_0 _vOrd_1 k_2 right_1_4 in _predefined._Tuple2 (_predefined.tupsels2v0 _x_2_0) (Map.MNode left_1_0 nk_1_1 h_1_2 nv_1_3 (_predefined.tupsels2v1 _x_2_0))))) (_predefined._Tuple2 Maybe.Nothing Map.MLeaf)
Map.takeMax_13 !_x_0 = select _x_0 (\ left_1_0 nk_1_1 _x_1_2 nv_1_3 _x_1_4 = select _x_1_4 (\ _uv1_2_0 _uv2_2_1 _uv3_2_2 _uv4_2_3 _uv5_2_4 = Map.takeMax_13_def0 left_1_0 nk_1_1 _x_1_2 nv_1_3 _x_1_4 _x_0) (_predefined._Tuple3 left_1_0 nk_1_1 nv_1_3)) (StdMisc.abort "takeMax of leaf evaluated")
Map.takeMax_13_def0 left_0 nk_1 _x_2 nv_3 _x_4 !_x_5 = let _x_1_0 = Map.height left_0, hleft_1_1 = _predefined.tupsels2v0 _x_1_0, _x_1_2 = Map.takeMax_13 _x_4, right_1_3 = _predefined.tupsels3v0 _x_1_2, _x_1_4 = Map.height right_1_3, hright_1_5 = _predefined.tupsels2v0 _x_1_4 in _predefined._Tuple3 (Map.balance (Map.MNode (_predefined.tupsels2v1 _x_1_0) nk_1 (<{StdInt.+_6}> (<{Map._c;51;16_34}> (<{StdInt.<_17}> hleft_1_1 hright_1_5) hright_1_5 hleft_1_1) 1) nv_3 (_predefined.tupsels2v1 _x_1_4))) (_predefined.tupsels3v1 _x_1_2) (_predefined.tupsels3v2 _x_1_2)
<{Map._c;51;16_34}> !_x_0 hright_1 hleft_2 = if (<{StdBool.==_3}> _x_0 True) hright_1 (<{Map._c;51;16_34_def0}> _x_0 hright_1 hleft_2)
<{Map._c;51;16_34_def0}> !_x_0 hright_1 hleft_2 = hleft_2
Map.parentHeight_14 left_0 right_1 = let _x_1_0 = Map.height left_0, hleft_1_1 = _predefined.tupsels2v0 _x_1_0, _x_1_2 = Map.height right_1, hright_1_3 = _predefined.tupsels2v0 _x_1_2 in _predefined._Tuple3 (<{StdInt.+_6}> (<{Map._c;51;16_35}> (<{StdInt.<_17}> hleft_1_1 hright_1_3) hright_1_3 hleft_1_1) 1) (_predefined.tupsels2v1 _x_1_0) (_predefined.tupsels2v1 _x_1_2)
<{Map._c;51;16_35}> !_x_0 hright_1 hleft_2 = if (<{StdBool.==_3}> _x_0 True) hright_1 (<{Map._c;51;16_35_def0}> _x_0 hright_1 hleft_2)
<{Map._c;51;16_35_def0}> !_x_0 hright_1 hleft_2 = hleft_2
Map.delU !_vEq_0 !_vOrd_1 !k_2 !_x_3 = select _x_3 (\ _x_1_0 nk_1_1 h_1_2 nv_1_3 _x_1_4 = select _x_1_0 (\ _uv1_2_0 _uv2_2_1 _uv3_2_2 _uv4_2_3 _uv5_2_4 = Map.delU_def0 _x_1_0 nk_1_1 h_1_2 nv_1_3 _x_1_4 _vEq_0 _vOrd_1 k_2 _x_3) (select _x_1_4 (\ _uv1_3_0 _uv2_3_1 _uv3_3_2 _uv4_3_3 _uv5_3_4 = Map.delU_def2 _x_1_0 nk_1_1 h_1_2 nv_1_3 _x_1_4 _vEq_0 _vOrd_1 k_2 _x_3) (if (<{StdOverloaded.get_==_6}> (<{StdClass.get_==_17}> _vEq_0) k_2 nk_1_1) (_predefined._Tuple2 (Maybe.Just nv_1_3) Map.MLeaf) (_predefined._Tuple2 Maybe.Nothing (Map.MNode Map.MLeaf nk_1_1 h_1_2 nv_1_3 Map.MLeaf))))) (_predefined._Tuple2 Maybe.Nothing Map.MLeaf)
Map.delU_def0 _x_0 nk_1 h_2 nv_3 _x_4 !_vEq_5 !_vOrd_6 !k_7 !_x_8 = select _x_4 (\ _uv1_1_0 _uv2_1_1 _uv3_1_2 _uv4_1_3 _uv5_1_4 = Map.delU_def1 _x_0 nk_1 h_2 nv_3 _x_4 _vEq_5 _vOrd_6 k_7 _x_8) (if (<{StdOverloaded.get_==_6}> (<{StdClass.get_==_17}> _vEq_5) k_7 nk_1) (_predefined._Tuple2 (Maybe.Just nv_3) _x_0) (if (<{StdOverloaded.get_<_7}> (<{StdClass.get_<_18}> _vOrd_6) k_7 nk_1) (let _x_2_0 = Map.delU _vEq_5 _vOrd_6 k_7 _x_0, _x_2_1 = Map.height (_predefined.tupsels2v1 _x_2_0) in _predefined._Tuple2 (_predefined.tupsels2v0 _x_2_0) (Map.balance (Map.MNode (_predefined.tupsels2v1 _x_2_1) nk_1 (<{StdInt.+_6}> (_predefined.tupsels2v0 _x_2_1) 1) nv_3 Map.MLeaf))) (_predefined._Tuple2 Maybe.Nothing (Map.MNode _x_0 nk_1 h_2 nv_3 Map.MLeaf))))
Map.delU_def1 _x_0 nk_1 h_2 nv_3 _x_4 !_vEq_5 !_vOrd_6 !k_7 !_x_8 = if (<{StdOverloaded.get_==_6}> (<{StdClass.get_==_17}> _vEq_5) k_7 nk_1) (let _x_1_0 = Map.takeMax_13 _x_0, _x_1_1 = Map.parentHeight_14 (_predefined.tupsels3v0 _x_1_0) _x_4 in _predefined._Tuple2 (Maybe.Just nv_3) (Map.balance (Map.MNode (_predefined.tupsels3v1 _x_1_1) (_predefined.tupsels3v1 _x_1_0) (_predefined.tupsels3v0 _x_1_1) (_predefined.tupsels3v2 _x_1_0) (_predefined.tupsels3v2 _x_1_1)))) (if (<{StdOverloaded.get_<_7}> (<{StdClass.get_<_18}> _vOrd_6) k_7 nk_1) (let _x_1_0 = Map.delU _vEq_5 _vOrd_6 k_7 _x_0, _x_1_1 = Map.parentHeight_14 (_predefined.tupsels2v1 _x_1_0) _x_4 in _predefined._Tuple2 (_predefined.tupsels2v0 _x_1_0) (Map.balance (Map.MNode (_predefined.tupsels3v1 _x_1_1) nk_1 (_predefined.tupsels3v0 _x_1_1) nv_3 (_predefined.tupsels3v2 _x_1_1)))) (let _x_1_0 = Map.delU _vEq_5 _vOrd_6 k_7 _x_4, _x_1_1 = Map.parentHeight_14 _x_0 (_predefined.tupsels2v1 _x_1_0) in _predefined._Tuple2 (_predefined.tupsels2v0 _x_1_0) (Map.balance (Map.MNode (_predefined.tupsels3v1 _x_1_1) nk_1 (_predefined.tupsels3v0 _x_1_1) nv_3 (_predefined.tupsels3v2 _x_1_1)))))
Map.delU_def2 _x_0 nk_1 h_2 nv_3 _x_4 !_vEq_5 !_vOrd_6 !k_7 !_x_8 = if (<{StdOverloaded.get_==_6}> (<{StdClass.get_==_17}> _vEq_5) k_7 nk_1) (_predefined._Tuple2 (Maybe.Just nv_3) _x_4) (if (<{StdOverloaded.get_<_7}> (<{StdClass.get_<_18}> _vOrd_6) k_7 nk_1) (_predefined._Tuple2 Maybe.Nothing (Map.MNode Map.MLeaf nk_1 h_2 nv_3 _x_4)) (let _x_1_0 = Map.delU _vEq_5 _vOrd_6 k_7 _x_4, _x_1_1 = Map.height (_predefined.tupsels2v1 _x_1_0) in _predefined._Tuple2 (_predefined.tupsels2v0 _x_1_0) (Map.balance (Map.MNode Map.MLeaf nk_1 (<{StdInt.+_6}> (_predefined.tupsels2v0 _x_1_1) 1) nv_3 (_predefined.tupsels2v1 _x_1_1)))))
Map.del !_vEq_0 !_vOrd_1 !k_2 !mapping_3 = _predefined.tupsels2v1 (Map.delU _vEq_0 _vOrd_1 k_2 mapping_3)
<{Map.toList`_15}> !_x_0 c_1 = select _x_0 (\ left_1_0 k_1_1 h_1_2 v_1_3 right_1_4 = <{Map.toList`_15}> left_1_0 (_predefined._Cons (_predefined._Tuple2 k_1_1 v_1_3) (<{Map.toList`_15}> right_1_4 c_1))) c_1
Map.toList !m_0 = <{Map.toList`_15}> m_0 _predefined._Nil
Map.fromList !_vEq_0 !_vOrd_1 !_x_2 = select _x_2 (\ _x_1_0 xs_1_1 = select _x_1_0 (\ k_2_0 v_2_1 = Map.put _vEq_0 _vOrd_1 k_2_0 v_2_1 (Map.fromList _vEq_0 _vOrd_1 xs_1_1))) Map.newMap
Map.putList !_vEq_0 !_vOrd_1 !_x_2 !map_3 = select _x_2 (\ _x_1_0 xs_1_1 = select _x_1_0 (\ k_2_0 v_2_1 = Map.putList _vEq_0 _vOrd_1 xs_1_1 (Map.put _vEq_0 _vOrd_1 k_2_0 v_2_1 map_3))) map_3
Map.anon_16 !_vEq_0 !_vOrd_1 !key_2 !map_3 = _predefined.tupsels2v1 (Map.delU _vEq_0 _vOrd_1 key_2 map_3)
Map._lc_17 !_vEq_0 !_vOrd_1 !g_l_2 = Map._lc_36 g_l_2 _vEq_0 _vOrd_1
Map._lc_36 !g_l_0 _vEq_1 _vOrd_2 = select g_l_0 (\ g_h_1_0 g_t_1_1 = _predefined._Cons (Map.anon_16 _vEq_1 _vOrd_2 g_h_1_0) (Map._lc_17 _vEq_1 _vOrd_2 g_t_1_1)) (Map._lc_36_def0 g_l_0 _vEq_1 _vOrd_2)
Map._lc_36_def0 !g_l_0 _vEq_1 _vOrd_2 = _predefined._Nil
Map.delList !_vEq_0 !_vOrd_1 !list_2 !map_3 = StdFunc.seq (Map._lc_17 _vEq_0 _vOrd_1 list_2) map_3

:: Map.Map = Map.MNode a1 a2 a3 a4 a5 | Map.MLeaf

|| Converted Records