Nuprl Definition : l_tree_node
l_tree_node(val;left_subtree;right_subtree) == <"node", val, left_subtree, right_subtree>
Definitions occuring in Statement :
pair: <a, b>,
token: "$token"
FDL editor aliases :
l_tree_node
l\_tree\_node(val;left$_{subtree}$;right$_{subtree}$) == <"no\000Cde", val, left$_{subtree}$, right$_{subtree}$>
Date html generated:
2015_07_17-AM-07_41_27
Last ObjectModification:
2014_05_05-PM-02_28_25
Home
Index