(module Ordered_collection_common)