Nuprl Definition : bst_null
bst_null() == <"null", ⋅>
Definitions occuring in Statement :
it: ⋅,
pair: <a, b>,
token: "$token"
Definitions occuring in definition :
pair: <a, b>,
token: "$token",
it: ⋅
FDL editor aliases :
bst_null
Latex:
bst\_null() == <"null", \mcdot{}>
Date html generated:
2016_05_15-PM-01_50_19
Last ObjectModification:
2016_04_07-PM-02_25_04
Theory : tree_1
Home
Index