Nuprl Definition : bm_double_L
bm_double_L(a;av;w;m) ==
binary_map_case(m;"error";key,value,cnt,left,right.
binary_map_case(left;"error";key',value',cnt',left',right'.
bm_N(key';value';bm_N(a;av;w;left');bm_N(key';value';right';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_double_L
bm\_double\_L(a;av;w;m) ==
binary\_map\_case(m;"error";key,value,cnt,left,right.
...)
Date html generated:
2015_07_17-AM-08_18_59
Last ObjectModification:
2012_08_20-PM-11_30_29
Home
Index