Nuprl Definition : bm_single_R
bm_single_R(b;bv;m;z) == binary_map_case(m;"error";key,value,cnt,left,right.bm_N(key;value;left;bm_N(b;bv;right;z)))
Definitions occuring in Statement :
bm_N: bm_N(k;v;m1;m2),
binary_map_case: binary_map_case(m;E;key,value,cnt,left,right.F[key; value; cnt; left; right]),
token: "$token"
FDL editor aliases :
bm_single_R
bm\_single\_R(b;bv;m;z) ==
binary\_map\_case(m;"error";key,value,cnt,left,right.bm\_N(key;value;left;bm\_N(b;bv;right;z)))
Date html generated:
2015_07_17-AM-08_18_58
Last ObjectModification:
2012_08_20-PM-11_28_42
Home
Index