Nuprl Definition : bst_leaf
bst_leaf(value) ==  <"leaf", value>
Definitions occuring in Statement : 
pair: <a, b>
, 
token: "$token"
Definitions occuring in definition : 
pair: <a, b>
, 
token: "$token"
FDL editor aliases : 
bst_leaf
Latex:
bst\_leaf(value)  ==    <"leaf",  value>
Date html generated:
2016_05_15-PM-01_50_22
Last ObjectModification:
2016_04_07-PM-02_25_09
Theory : tree_1
Home
Index