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
Latex:
Memory-loc-class(f;init;X) == Prior(Accum-loc-class(f;init;X))?init
Date html generated:
2015_07_22-PM-00_11_19
Last ObjectModification:
2012_11_29-AM-11_14_21
Home
Index