Nuprl Definition : sdata-pair?
sdata-pair?(d) == tree_node?(d)
Definitions occuring in Statement :
tree_node?: tree_node?(v)
FDL editor aliases :
sdata-pair?
Latex:
sdata-pair?(d) == tree\_node?(d)
Date html generated:
2015_07_23-PM-00_00_26
Last ObjectModification:
2014_05_05-PM-00_26_30
Home
Index