From a7a0c2924c68c7dc457debb60f44bffc4aa80682 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Thu, 15 Oct 2015 21:18:48 +1100 Subject: Added cocktail, insertion, strand sorts --- insertion.ads | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 insertion.ads (limited to 'insertion.ads') diff --git a/insertion.ads b/insertion.ads new file mode 100644 index 0000000..19b6b2c --- /dev/null +++ b/insertion.ads @@ -0,0 +1,16 @@ + + +generic + + type Index_T is (<>); + type Element_T is private; + type Array_T is array (Index_T range <>) of Element_T; + + with function ">"(X, Y : in Element_T) return Boolean is <>; + +package Insertion is + + procedure Sort(Arr : in out Array_T); + +end Insertion; + -- cgit