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
Latex:
bm\_foldli(f;init;m)  ==    bm\_foldli\_aux(f;m)  init
Date html generated:
2016_05_17-PM-01_43_31
Last ObjectModification:
2013_01_04-AM-01_44_25
Theory : binary-map
Home
Index