I think closed
is actually more concise in many cases, since __extra__: Never
is probably the thing I want to do most often, so not having to import Never
is great. I’ll gladly pay typing seven[1] extra characters in the other cases for that.
Actually on second thought it’s less than seven additional characters, since closed
is shorter than extra_keys
.
True
and_:
↩︎