Nuprl Definition : aa_lt_node
aa_lt_node(val;left_subtree;right_subtree) == inr <val, left_subtree, right_subtree>
Definitions occuring in Statement :
pair: <a, b>,
inr: inr x
FDL editor aliases :
aa_lt_node
aa\_lt\_node(val;left$_{subtree}$;right$_{subtree}$) == inr <\000Cval, left$_{subtree}$, right$_{subtree}$>
Date html generated:
2013_03_20-AM-10_57_39
Last ObjectModification:
2012_11_27-AM-10_32_21
Home
Index