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
bm\_numItems(m) == binary\_map\_case(m;0;key,value,cnt,left,right.cnt)
Date html generated:
2015_07_17-AM-08_18_27
Last ObjectModification:
2012_08_20-PM-06_44_22
Home
Index