let filter s ~f = fold_range s ~f:(filter_range f) ~init:empty