Nuprl Definition : bm_single_L
bm_single_L(a;av;x;m) == binary_map_case(m;"error";key,value,cnt,left,right.bm_N(key;value;bm_N(a;av;x;left);right))
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_L
bm\_single\_L(a;av;x;m) ==
binary\_map\_case(m;"error";key,value,cnt,left,right.bm\_N(key;value;bm\_N(a;av;x;left);right))
Date html generated:
2015_07_17-AM-08_18_55
Last ObjectModification:
2012_08_20-PM-10_37_49
Home
Index