From 63c3043200de6b28a8c192f1b5625940435ea55e Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Sat, 17 Oct 2015 14:20:48 +1100 Subject: Organised source code a bit, added makefile with clean target --- sort/cocktail.ads | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 sort/cocktail.ads (limited to 'sort/cocktail.ads') diff --git a/sort/cocktail.ads b/sort/cocktail.ads new file mode 100644 index 0000000..8f21ebb --- /dev/null +++ b/sort/cocktail.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 Cocktail is + + procedure Sort(Arr : in out Array_T); + +end Cocktail; + -- cgit