Nuprl Definition : aa_lt_leaf?
aa_lt_leaf?(x) == aa_ltree_ind(x;tt;val,left_subtree,right_subtree,rec1,rec2.ff)
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]),
bfalse: ff,
btrue: tt
FDL editor aliases :
aa_lt_leaf?
aa\_lt\_leaf?(x) == aa\_ltree\_ind(x;tt;val,left$_{subtree}$,right$_{su\000Cbtree}$,rec1,rec2.ff)
Date html generated:
2013_03_20-AM-10_57_55
Last ObjectModification:
2012_11_27-AM-10_32_29
Home
Index