Nuprl Definition : bm

bm_delmin(m) ==

  binary_map_ind(m;"error";key,value,cnt,left,right,recL,recR.binary_map_case(left;right;keyL,valueL,cntL,leftL,rightL.

                                                                              bm_T'(key;value;recL;right)))

Definitions occuring in Statement : 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]), binary_map_ind: binary_map_ind(v;E;key,value,cnt,left,right,rec1,rec2.T[key;value;cnt;left;right;rec1;rec2]), token: "$token"
FDL editor aliases : bm_delmin
bm\_delmin(m) == binary\_map\_ind(m;"error";key,value,cnt,left,right,recL,recR....) Date html generated: 2015_07_17-AM-08_19_12 Last ObjectModification: 2012_08_21-PM-07_39_56 Home Index