Nuprl Definition : bm_singleton
bm_singleton(x;v) == bm_T(x;v;1;bm_E();bm_E())
Definitions occuring in Statement :
bm_T: bm_T(key;value;cnt;left;right),
bm_E: bm_E(),
natural_number: $n
FDL editor aliases :
bm_singleton
Latex:
bm\_singleton(x;v) == bm\_T(x;v;1;bm\_E();bm\_E())
Date html generated:
2016_05_17-PM-01_40_26
Last ObjectModification:
2012_08_23-AM-09_59_58
Theory : binary-map
Home
Index