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