Nuprl Definition : bm_delete'

bm_delete'(m1;m2) ==
  binary_map_case(m1;m2;key1,value1,cnt1,left1,right1.binary_map_case(m2;m1;key2,value2,cnt2,left2,right2.
                                                                      let mink,minv = bm_min(m2) 
                                                                      in bm_T'(mink;minv;m1;bm_delmin(m2))))


Definitions occuring in Statement :  bm_delmin: bm_delmin(m),  bm_min: bm_min(m),  bm_T': bm_T'(k;v;m1;m2),  binary_map_case: binary_map_case(m;E;key,value,cnt,left,right.F[key; value; cnt; left; right]),  spread: spread def
FDL editor aliases :  bm_delete'
bm\_delete'(m1;m2)  ==
    binary\_map\_case(m1;m2;key1,value1,cnt1,left1,right1.
                                    binary\_map\_case(m2;m1;key2,value2,cnt2,left2,right2.
                                                                    let  mink,minv  =  bm\_min(m2) 
                                                                    in  bm\_T'(mink;minv;m1;bm\_delmin(m2))))


Date html generated: 2015_07_17-AM-08_19_15
Last ObjectModification: 2012_08_21-PM-07_48_44

Home Index