diff options
Diffstat (limited to 'cocktail.ads')
-rw-r--r-- | cocktail.ads | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/cocktail.ads b/cocktail.ads new file mode 100644 index 0000000..8f21ebb --- /dev/null +++ b/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; + |