deferred class interface DS_SORTER[G] feature(s) from DS_SORTER -- Status report sorted (a_container: DS_SORTABLE[G]): BOOLEAN -- Is a_container sorted in increasing order? require a_container_not_void: a_container /= Void reverse_sorted (a_container: DS_SORTABLE[G]): BOOLEAN -- Is a_container sorted in decreasing order? require a_container_not_void: a_container /= Void feature(s) from DS_SORTER -- Sort sort (a_container: DS_SORTABLE[G]) -- Sort a_container in increasing order. require a_container_not_void: a_container /= Void ensure sorted: sorted(a_container) reverse_sort (a_container: DS_SORTABLE[G]) -- Sort a_container in decreasing order. require a_container_not_void: a_container /= Void ensure sorted: reverse_sorted(a_container) end of deferred DS_SORTER[G]