Nuprl Definition : bm_numItems
bm_numItems(m) ==  binary_map_case(m;0;key,value,cnt,left,right.cnt)
Definitions occuring in Statement : 
binary_map_case: binary_map_case(m;E;key,value,cnt,left,right.F[key; value; cnt; left; right])
, 
natural_number: $n
FDL editor aliases : 
bm_numItems
Latex:
bm\_numItems(m)  ==    binary\_map\_case(m;0;key,value,cnt,left,right.cnt)
Date html generated:
2016_05_17-PM-01_38_33
Last ObjectModification:
2012_08_20-PM-06_44_22
Theory : binary-map
Home
Index