Nuprl Definition : mem_test_Out
mem_test_Out() == 
loc,v.{mem_test_obs'send() loc v}@|Loc, mem_test_Obs()|
Definitions occuring in Statement :
mem_test_Obs: mem_test_Obs(),
mem_test_obs'send: mem_test_obs'send(),
concat-lifting-loc-1: f@,
simple-loc-comb-1: F|Loc, X|,
apply: f a,
lambda: x.A[x],
single-bag: {x}
FDL editor aliases :
mem_test_Out
mem\_test\_Out() == \mlambda{}loc,v.\{mem\_test\_obs'send() loc v\}@|Loc, mem\_test\_Obs()|
Date html generated:
2012_02_20-PM-05_14_06
Last ObjectModification:
2012_02_17-PM-06_25_52
Home
Index