Nuprl Definition : sdata-pair
<d1, d2> == tree_node(d1;d2)
Definitions occuring in Statement :
tree_node: tree_node(left;right)
FDL editor aliases :
sdata-pair
Latex:
<d1, d2> == tree\_node(d1;d2)
Date html generated:
2015_07_23-PM-00_00_22
Last ObjectModification:
2014_05_05-PM-00_24_36
Home
Index