Add map/filtermap functions to `sets`, `ordsets` and `gb_sets`#7183

Merged

bjorng merged 1 commit intoerlang:masterfrom Maria-12648430:add_sets_map

Jun 7, 2023

+189-7

Commits on Jun 5, 2023

Add map/filtermap functions to sets, ordsets and gb_sets

committed