The Partition Concept as Contentual Context

In order to be instantiated, procedure Recursive_Quick_Sort requires the contentual context of the procedure concept Partition. This concept is defined below:

 
generic

		    type Element is private;

		    with function "<=" (L,R: Element) return Boolean;

		    type El_Sequence_Ind is (<>);

		    type El_Sequence is private;

		    with operations on objects of type El_Sequence;

Procedure Partition(Els: in out El_Sequence;

		 		                    Low,High: in El_Sequence_Ind;

		 		                    Split:  out El_Sequence_Ind);