Nuprl Definition : Memory-class
Memory-class(f;init;X) == Prior(Accum-class(f;init;X))?init
Definitions occuring in Statement :
Accum-class: Accum-class(f;init;X),
primed-class-opt: Prior(X)?b
FDL editor aliases :
Memory-class
Memory-class(f;init;X) == Prior(Accum-class(f;init;X))?init
Date html generated:
2012_01_23-PM-12_56_17
Last ObjectModification:
2012_01_09-PM-06_18_26
Home
Index