Nuprl Definition : aa_data_wrapper_ind_aa_data_wrapleaf_compseq_tag_def
aa_data_wrapper_ind_aa_data_wrapleaf{aa_data_wrapper_ind_aa_data_wrapleaf_compseq_tag_def:o}(v11.leaf[v11];
v21,v22.node[v21; v22];
val) ==
compseq(aa_data_wrapper_ind(aa_data_wrapleaf(val);nd,rec1.node[nd; rec1];val.leaf[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_wrapleaf: aa_data_wrapleaf(val)
aa\_data\_wrapper\_ind\_aa\_data\_wrapleaf\{aa\_data\_wrapper\_ind\_aa\_data\_wrapleaf\_compseq\_tag\_def:o\}
(v11.leaf[v11]; v21,v22.node[v21; v22]; val) ==
compseq(aa\_data\_wrapper\_ind(aa\_data\_wrapleaf(val);nd,rec1.node[nd; rec1];val.leaf[val]); leaf[val]
)
Date html generated:
2013_03_20-AM-11_02_36
Last ObjectModification:
2012_11_27-AM-10_33_14
Home
Index