Nuprl Definition : aa_data_wrapper_ind_aa_data_wrapnode_compseq_tag_def
aa_data_wrapper_ind_aa_data_wrapnode{aa_data_wrapper_ind_aa_data_wrapnode_compseq_tag_def:o}(v11.leaf[v11];
v21,v22.node[v21; v22];
nd) ==
compseq(aa_data_wrapper_ind(aa_data_wrapnode(nd);nd,rec1.node[nd; rec1];val.leaf[val]);
node[nd; aa_data_wrapper_ind(nd;nd,rec1.node[nd; rec1];val.leaf[val])])
Definitions occuring in Statement :
aa_data_wrapper_ind: aa_data_wrapper_ind(x;nd,rec1.node[nd; rec1];val.leaf[val]),
aa_data_wrapnode: aa_data_wrapnode(nd)
aa\_data\_wrapper\_ind\_aa\_data\_wrapnode\{aa\_data\_wrapper\_ind\_aa\_data\_wrapnode\_compseq\_tag\_def:o\}
(v11.leaf[v11]; v21,v22.node[v21; v22]; nd) ==
compseq(aa\_data\_wrapper\_ind(aa\_data\_wrapnode(nd);nd,rec1.node[nd; rec1];val.leaf[val]);
node[nd; aa\_data\_wrapper\_ind(nd;nd,rec1.node[nd; rec1];val.leaf[val])])
Date html generated:
2013_03_20-AM-11_02_33
Last ObjectModification:
2012_11_27-AM-10_33_11
Home
Index