Nuprl Definition : Memory-loc-class
Memory-loc-class(f;init;X) == Prior(Accum-loc-class(f;init;X))?init
Definitions occuring in Statement :
Accum-loc-class: Accum-loc-class(f;init;X),
primed-class-opt: Prior(X)?b
FDL editor aliases :
Memory-loc-class
Memory-loc-class(f;init;X) == Prior(Accum-loc-class(f;init;X))?init
Date html generated:
2012_01_23-PM-12_56_42
Last ObjectModification:
2012_01_10-AM-11_17_06
Home
Index