mbickel
03/12/2018, 6:58 PMSequence
seems like a good fit. But I also apply a filter that only takes a percentage of the total list size (known in advance, from user configuration). How would I implement this filter (is there anything already covering this?)