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
Latex:
binary-tree() == \{p:binary-treeco()| (binary-treeco\_size(p))\mdownarrow{}\}
Date html generated:
2016_05_16-AM-09_05_31
Last ObjectModification:
2014_05_06-AM-10_18_31
Theory : C-semantics
Home
Index