Nuprl Definition : Memory2-prc

Memory2-prc(A;B;C;init;tr1;Xpr1;tr2;Xpr2) ==
  TERMOF{Memory2-locally-programmable:o, 1:l, 1:l} A B C init tr1 tr2 Xpr1 Xpr2


Definitions occuring in Statement :  apply: f a
FDL editor aliases :  Memory2-prc
Memory2-prc(A;B;C;init;tr1;Xpr1;tr2;Xpr2)  ==
    TERMOF\{Memory2-locally-programmable:o,  1:l,  1:l\}  A  B  C  init  tr1  tr2  Xpr1  Xpr2


Date html generated: 2012_01_23-PM-01_28_57
Last ObjectModification: 2012_01_12-AM-10_47_01

Home Index