Nuprl Definition : aa_lt_node-right_subtree
aa_lt_node-right_subtree(x) == aa_ltree_ind(x;
;val,left_subtree,right_subtree,rec1,rec2.right_subtree)
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]),
it:
FDL editor aliases :
aa_lt_node-right_subtree
aa\_lt\_node-right\_subtree(x) ==
aa\_ltree\_ind(x;\mcdot{};val,left$_{subtree}$,right$_{subtree}$,re\000Cc1,rec2.right$_{subtree}$)
Date html generated:
2013_03_20-AM-10_58_14
Last ObjectModification:
2012_11_27-AM-10_32_41
Home
Index