Nuprl Definition : norep2_StoreState
norep2_StoreState() == Accum-class(norep2_onHandle();
i.{[]};norep2_handle'base())
Definitions occuring in Statement :
norep2_onHandle: norep2_onHandle(),
norep2_handle'base: norep2_handle'base(),
Accum-class: Accum-class(f;init;X),
lambda: x.A[x],
nil: [],
single-bag: {x}
FDL editor aliases :
norep2_StoreState
norep2\_StoreState() == Accum-class(norep2\_onHandle();\mlambda{}i.\{[]\};norep2\_handle'base())
Date html generated:
2012_02_20-PM-03_36_44
Last ObjectModification:
2012_02_02-PM-01_56_51
Home
Index