feat(builtin)!: rename `map_option` to `filter_map`#1335

Merged

bobzhang merged 3 commits intomoonbitlang:mainfrom rami3l:filter-map-rename

Dec 25, 2024

+36-10

Commits on Dec 17, 2024

feat(builtin)!: rename map_option to filter_map
rami3l
committed

Commits on Dec 24, 2024

Merge branch 'main' into filter-map-rename
bobzhang
authored

Commits on Dec 25, 2024

Merge branch 'main' into filter-map-rename
bobzhang
authored