PT-166788647 FATE efficient maps #183

Merged
zxq9 merged 10 commits from PT-166788647-fate-efficient-maps into master 2019-08-13 22:51:14 +09:00
Showing only changes of commit 414c45fbf7 - Show all commits

View File

@ -20,7 +20,7 @@
, refcount_union/2 , refcount_union/2
, no_used_ids/0 ]). , no_used_ids/0 ]).
-export_type([used_ids/0, maps/0]). -export_type([used_ids/0, maps/0, refcount/0]).
%% Size in bytes of serialization of a map for which we turn it into a store %% Size in bytes of serialization of a map for which we turn it into a store
%% map. It's not worth turning small maps into store maps. %% map. It's not worth turning small maps into store maps.