Nuprl Definition : aa_wrapper_get_data
aa_wrapper_get_data(dw) == aa_data_wrapper_ind(dw;nd,rec1.rec1;v.v)
Definitions occuring in Statement :
aa_data_wrapper_ind: aa_data_wrapper_ind(x;nd,rec1.node[nd; rec1];val.leaf[val])
FDL editor aliases :
aa_wrapper_get_data
aa\_wrapper\_get\_data(dw) == aa\_data\_wrapper\_ind(dw;nd,rec1.rec1;v.v)
Date html generated:
2013_03_20-AM-11_02_28
Last ObjectModification:
2012_11_27-AM-10_33_08
Home
Index