Nuprl Definition : max_exch_Input
max_exch_Input() == max_exch_int'base() || 
z,z.let z,i = z in {i}@|Loc, max_exch_exchange'base()|
Definitions occuring in Statement :
max_exch_exchange'base: max_exch_exchange'base(),
max_exch_int'base: max_exch_int'base(),
concat-lifting-loc-1: f@,
simple-loc-comb-1: F|Loc, X|,
parallel-class: X || Y,
lambda: x.A[x],
spread: spread def,
single-bag: {x}
FDL editor aliases :
max_exch_Input
max\_exch\_Input() == max\_exch\_int'base() || \mlambda{}z,z.let z,i = z in \{i\}@|Loc, max\_exch\_exchange'base()|
Date html generated:
2012_02_20-PM-05_15_48
Last ObjectModification:
2012_02_17-PM-03_05_18
Home
Index