Nuprl Definition : sdata-left
sdata-left(p) == tree_node-left(p)
Definitions occuring in Statement :
tree_node-left: tree_node-left(v)
FDL editor aliases :
sdata-left
Latex:
sdata-left(p) == tree\_node-left(p)
Date html generated:
2015_07_23-PM-00_00_35
Last ObjectModification:
2014_05_05-PM-00_25_22
Home
Index