Nuprl Definition : atom-sdata
data(a) == tree_leaf(inr a )
Definitions occuring in Statement :
inr: inr x ,
tree_leaf: tree_leaf(value)
FDL editor aliases :
atom-sdata
Latex:
data(a) == tree\_leaf(inr a )
Date html generated:
2015_07_23-PM-00_00_19
Last ObjectModification:
2012_08_30-PM-02_30_09
Home
Index