1 files changed, 16 insertions, 0 deletions
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;
+