Nuprl Definition : aa_data_wrapnode-nd
aa_data_wrapnode-nd(x) == aa_data_wrapper_ind(x;nd,rec1.nd;val.
)
Definitions occuring in Statement :
aa_data_wrapper_ind: aa_data_wrapper_ind(x;nd,rec1.node[nd; rec1];val.leaf[val]),
it:
FDL editor aliases :
aa_data_wrapnode-nd
aa\_data\_wrapnode-nd(x) == aa\_data\_wrapper\_ind(x;nd,rec1.nd;val.\mcdot{})
Date html generated:
2013_03_20-AM-11_02_40
Last ObjectModification:
2012_11_27-AM-10_33_21
Home
Index