split_with(map_set, fun)
Splits the map_set into two MapSets according to the given function fun.
map_set
MapSet
fun