Nuprl Definition : mem_test_Obs
mem_test_Obs() ==
let F = 
loc,i,max.if (i =
max) then {<i, max>} else {} fi in
F@Loc|Loc,mem_test_int'base(), mem_test_Maximum()|
Definitions occuring in Statement :
mem_test_Maximum: mem_test_Maximum(),
mem_test_int'base: mem_test_int'base(),
concat-lifting-loc-2: f@Loc,
simple-loc-comb-2: F|Loc,X, Y|,
eq_int: (i = j),
ifthenelse: if b then t else f fi ,
let: let,
lambda: x.A[x],
pair: <a, b>,
single-bag: {x},
empty-bag: {}
FDL editor aliases :
mem_test_Obs
mem\_test\_Obs() ==
let F = \mlambda{}loc,i,max.if (i =\msubz{} max) then \{<i, max>\} else \{\} fi in
F@Loc|Loc,mem\_test\_int'base(), mem\_test\_Maximum()|
Date html generated:
2012_02_20-PM-05_13_55
Last ObjectModification:
2012_02_17-PM-06_25_45
Home
Index