Nuprl Definition : bm_min
bm_min(m) ==
binary_map_ind(m;"error";key,value,cnt,left,right,recL,recR.binary_map_case(left;<key, value>;
keyL,valueL,cntL,leftL,rightL.recL))
Definitions occuring in Statement :
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]),
pair: <a, b>,
token: "$token"
FDL editor aliases :
bm_min
bm\_min(m) ==
binary\_map\_ind(m;"error";key,value,cnt,left,right,recL,recR....)
Date html generated:
2015_07_17-AM-08_19_10
Last ObjectModification:
2012_08_21-PM-06_45_35
Home
Index