Nuprl Definition : tree_leaf
tree_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 :
tree_leaf
Latex:
tree\_leaf(value) == <"leaf", value>
Date html generated:
2016_05_15-PM-01_49_32
Last ObjectModification:
2015_09_23-AM-07_37_18
Theory : tree_1
Home
Index