Clarify section on General Collections in the manual #47456
Description
In the section on General Collections it's not stated explicitly whether a general collection must implement all of isempty, empty!, length, checked_length. Or may implement them? Or something else?
It's not clear what "Fully implemented by:" means in this section. The types listed in fact don't implement all of these. Immutable types (eg Tuple) typically do not implement empty!.
Maybe I am reading the section incorrectly, but it seems to me that this should be clarified. See this discourse post