This extends priorities in both directions, uses slightly faster `is None` check, makes it consistent with `interval` special-casing also to `None` and makes lint able to use one simple `.type()` check in place of `.either()` one. |
||
---|---|---|
.. | ||
source | ||
.gitignore | ||
Makefile |