Nuprl Definition : mem_test_main
mem_test_main(A;G) == mem_test_Out()@{A} || mem_test_Increment(A)@{G}
Definitions occuring in Statement :
mem_test_Out: mem_test_Out(),
mem_test_Increment: mem_test_Increment(A),
class-at: X@locs,
parallel-class: X || Y,
single-bag: {x}
FDL editor aliases :
mem_test_main
mem\_test\_main(A;G) == mem\_test\_Out()@\{A\} || mem\_test\_Increment(A)@\{G\}
Date html generated:
2012_02_20-PM-05_14_17
Last ObjectModification:
2012_02_17-PM-06_26_00
Home
Index