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
Latex:
l\_tree\_node(val;left$_{subtree}$;right$_{subtree}$) == <"no\000Cde", val, left$_{subtree}$, right$_{subtree}$>
Date html generated:
2016_05_16-AM-08_43_12
Last ObjectModification:
2014_05_05-PM-02_28_25
Theory : labeled!trees
Home
Index