let select_func_zone set mark zone kf = let selection = !Db.Slicing.Select.select_zone_at_end_internal kf zone mark in add_to_selection set selection