This repository has been archived by the owner on Dec 11, 2022. It is now read-only.
The dictionary when filtering occurrences must be typed {Any,Any}
#16
Labels
{Any,Any}
#16
Because the paging system uses
Int
for the number of pages, offset, etc., theDict
containing the query must be typed appropriately. One solution would be to usePairs
(as in mangal filtering), which can also be passed using...
(and this would remove two methods for `occurrences at the cost of breaking the current code (but I can probably still use the dict and give a deprecation warning).The text was updated successfully, but these errors were encountered: