Nuprl Definition : bm_double_R
bm_double_R(c;cv;m;z) ==
binary_map_case(m;"error";key,value,cnt,left,right.
binary_map_case(right;"error";key',value',cnt',left',right'.
bm_N(key';value';bm_N(key;value;left;left);bm_N(c;cv;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_double_R
bm\_double\_R(c;cv;m;z) ==
binary\_map\_case(m;"error";key,value,cnt,left,right.
binary\_map\_case(right;"error";key',value',cnt',left',right'.
bm\_N(key';value';bm\_N(key;value;left;left);bm\_N(c;cv;right;z))))
Date html generated:
2015_07_17-AM-08_19_01
Last ObjectModification:
2012_08_20-PM-11_33_42
Home
Index