diff options
| author | John Högberg <[email protected]> | 2019-02-25 14:49:49 +0100 |
|---|---|---|
| committer | John Högberg <[email protected]> | 2019-02-25 20:13:24 +0100 |
| commit | cd7fa515675adf2551887b6e5ad6ba8d08814413 (patch) | |
| tree | 476e6cfd021205d28da5d059ca6cf73fc4cfebb4 /TAR.include | |
| parent | 42f0f3fcbce009e56270fdccdb6f0a85e3b4b368 (diff) | |
| download | otp-cd7fa515675adf2551887b6e5ad6ba8d08814413.tar.gz otp-cd7fa515675adf2551887b6e5ad6ba8d08814413.tar.bz2 otp-cd7fa515675adf2551887b6e5ad6ba8d08814413.zip | |
cerl_sets: Use maps:filter/2 in filter/2
This should be slightly more efficient than converting to/from
lists for large sets.
Diffstat (limited to 'TAR.include')
0 files changed, 0 insertions, 0 deletions