Nuprl Definition : max_exch_Exchange
max_exch_Exchange() ==
let F = 
loc,z.let adr,z = z in max.{max_exch_exchange'send() adr <loc, max>} in
F@Loc|Loc,max_exch_exchange'base(), max_exch_Maximum()|
Definitions occuring in Statement :
max_exch_Maximum: max_exch_Maximum(),
max_exch_exchange'send: max_exch_exchange'send(),
max_exch_exchange'base: max_exch_exchange'base(),
concat-lifting-loc-2: f@Loc,
simple-loc-comb-2: F|Loc,X, Y|,
let: let,
apply: f a,
lambda: x.A[x],
spread: spread def,
pair: <a, b>,
single-bag: {x}
FDL editor aliases :
max_exch_Exchange
max\_exch\_Exchange() ==
let F = \mlambda{}loc,z.let adr,z = z in \mlambda{}max.\{max\_exch\_exchange'send() adr <loc, max>\} in
F@Loc|Loc,max\_exch\_exchange'base(), max\_exch\_Maximum()|
Date html generated:
2012_02_20-PM-05_16_33
Last ObjectModification:
2012_02_17-PM-03_05_32
Home
Index