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