Nuprl Definition : bm_foldli_aux
bm_foldli_aux(f;m) == binary_map_ind(m;λv.v;key,value,cnt,left,right,recL,recR.λv.(recR (f key value (recL v))))
Definitions occuring in Statement :
binary_map_ind: binary_map_ind(v;E;key,value,cnt,left,right,rec1,rec2.T[key;value;cnt;left;right;rec1;rec2]),
apply: f a,
lambda: λx.A[x]
FDL editor aliases :
bm_foldli_aux
bm\_foldli\_aux(f;m) ==
binary\_map\_ind(m;\mlambda{}v.v;key,value,cnt,left,right,recL,recR.\mlambda{}v.(recR (f key value (recL v))))
Date html generated:
2015_07_17-AM-08_20_47
Last ObjectModification:
2013_01_04-AM-01_37_32
Home
Index