Nuprl Definition : aa_data_wrapper
aa_data_wrapper(T) ==  rec(X.X + T)
Definitions occuring in Statement : 
rec: rec(x.A[x]), 
union: left + right
FDL editor aliases : 
aa_data_wrapper
aa\_data\_wrapper(T)  ==    rec(X.X  +  T)
Date html generated:
2013_03_20-AM-11_02_20
Last ObjectModification:
2012_11_27-AM-10_33_02
Home
Index