The standard library sequence is a proxy for red_black_numbered_list.
The sequence package implements the Numbered_List API.
The sequence package source code is in src/lib/src/sequence.pkg. The above information is manually maintained and may contain errors.
Numbered_List