Nuprl Definition : aa_data_wrapleaf
aa_data_wrapleaf(val) == inr val
Definitions occuring in Statement :
inr: inr x
FDL editor aliases :
aa_data_wrapleaf
aa\_data\_wrapleaf(val) == inr val
Date html generated:
2013_03_20-AM-11_02_24
Last ObjectModification:
2012_11_27-AM-10_33_05
Home
Index