let
add_to_selection set selection =
!
Db
.
Slicing
.
Select
.add_to_selects_internal selection set