Nuprl Definition : aa_data_wrapnode
aa_data_wrapnode(nd) == inl nd
Definitions occuring in Statement :
inl: inl x
FDL editor aliases :
aa_data_wrapnode
aa\_data\_wrapnode(nd) == inl nd
Date html generated:
2013_03_20-AM-11_02_22
Last ObjectModification:
2012_11_27-AM-10_33_03
Home
Index