Nuprl Definition : bm_foldli
bm_foldli(f;init;m) == bm_foldli_aux(f;m) init
Definitions occuring in Statement :
bm_foldli_aux: bm_foldli_aux(f;m),
apply: f a
FDL editor aliases :
bm_foldli
bm\_foldli(f;init;m) == bm\_foldli\_aux(f;m) init
Date html generated:
2015_07_17-AM-08_20_50
Last ObjectModification:
2013_01_04-AM-01_44_25
Home
Index