let
map_cardinal (map:
'
a t) =
fold (
fun
_funcname _ cardinal
->
succ cardinal) map 0