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