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