Nuprl Definition : binary-tree
binary-tree() == {p:binary-treeco()| (binary-treeco_size(p))↓}
Definitions occuring in Statement :
binary-treeco_size: binary-treeco_size(p),
binary-treeco: binary-treeco(),
has-value: (a)↓,
set: {x:A| B[x]}
FDL editor aliases :
binary-tree
binary-tree() == \{p:binary-treeco()| (binary-treeco\_size(p))\mdownarrow{}\}
Date html generated:
2015_07_17-AM-07_51_37
Last ObjectModification:
2014_05_06-AM-10_18_31
Home
Index