Cut presorted and unsorted tags
Summary: [Folly] Cut `presorted` and `unsorted` tags; the `presorted` tag has ambiguous meaning and is replaced by either `sorted_unique` or `sorted_equivalent`. Reviewed By: vitaut Differential Revision: D15196179 fbshipit-source-id: a2cdaa06c7c5a55147db67a877b29c5944039e6d
Showing
Please register or sign in to comment