summaryrefslogtreecommitdiff
path: root/sort/shell.ads
diff options
context:
space:
mode:
Diffstat (limited to 'sort/shell.ads')
-rw-r--r--sort/shell.ads16
1 files changed, 16 insertions, 0 deletions
diff --git a/sort/shell.ads b/sort/shell.ads
new file mode 100644
index 0000000..0ce3cb4
--- /dev/null
+++ b/sort/shell.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 Shell is
+
+ procedure Sort(Arr : in out Array_T);
+
+end Shell;
+