INDEX | CLUSTER | FEATURES | SHORT | FRAMES | NO FRAMES |
-- redefinition from SORTED_TABLE; tells the container if
-- its entries must be unique
--local
-- init_size: INTEGER
-- s_order: SIMPLE_ORDER_WITH_KEYS_ [H]
-- order_key: ORDER_WITH_KEYS_ [H]
-- redefinition from SORTED_TABLE; adds the new entry into
-- the structure
-- puts the k-th entry into the structure
-- same as 'merge' but in order in which items were put
-- returns first item having the specified key
-- returns the k-th item of this table
-- returns key of the k-th item
INDEX | CLUSTER | FEATURES | SHORT | FRAMES | NO FRAMES |