1 files changed, 16 insertions, 0 deletions
diff --git a/selection.ads b/selection.ads
new file mode 100644
index 0000000..af085af
--- /dev/null
+++ b/selection.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 Selection is
+
+    procedure Sort(Arr : in out Array_T);
+
+end Selection;
+