let
map =
Core_list_map
.map