Nuprl Definition : aa_ltree_ind_aa_lt_leaf_compseq_tag_def
aa_ltree_ind_aa_lt_leaf{aa_ltree_ind_aa_lt_leaf_compseq_tag_def:o}(v11,v12,v13,v14,v15.node[v11; v12; v13; v14; v15];
leaf) ==
compseq(aa_ltree_ind(aa_lt_leaf();leaf;val,left_subtree,right_subtree,rec1,rec2.node[val; left_subtree; right_subtree;
rec1; rec2]);
leaf)
Definitions occuring in Statement :
aa_ltree_ind: aa_ltree_ind(x;leaf;val,left_subtree,right_subtree,rec1,rec2.node[val; left_subtree; right_subtree; rec1; rec2]),
aa_lt_leaf: aa_lt_leaf()
aa\_ltree\_ind\_aa\_lt\_leaf\{aa\_ltree\_ind\_aa\_lt\_leaf\_compseq\_tag\_def:o\}
(v11,v12,v13,v14,v15.node[v11; v12; v13; v14; v15]; leaf) ==
compseq
(aa\_ltree\_ind(aa\_lt\_leaf();leaf;val,left$_{subtree}$,right$_{sub\000Ctree}$,rec1,rec2.node[val; left$_{subtree}$;
right$_{\000Csubtree}$; rec1;
rec2]);
leaf)
Date html generated:
2013_03_20-AM-10_57_51
Last ObjectModification:
2012_11_27-AM-10_32_25
Home
Index