Nuprl Definition : mem_test_Increment
mem_test_Increment(A) ==
let F = 
loc,z,n.mem_test_int'send() A n.mem_test_inc'send() loc 
.{} in
F@Loc|Loc,mem_test_Input(), mem_test_IncState()|
Definitions occuring in Statement :
mem_test_IncState: mem_test_IncState(),
mem_test_Input: mem_test_Input(),
mem_test_inc'send: mem_test_inc'send(),
mem_test_int'send: mem_test_int'send(),
concat-lifting-loc-2: f@Loc,
simple-loc-comb-2: F|Loc,X, Y|,
let: let,
it: ,
apply: f a,
lambda: x.A[x],
cons-bag: x.b,
empty-bag: {}
FDL editor aliases :
mem_test_Increment
mem\_test\_Increment(A) ==
let F = \mlambda{}loc,z,n.mem\_test\_int'send() A n.mem\_test\_inc'send() loc \mcdot{}.\{\} in
F@Loc|Loc,mem\_test\_Input(), mem\_test\_IncState()|
Date html generated:
2012_02_20-PM-05_13_42
Last ObjectModification:
2012_02_17-PM-06_25_38
Home
Index