diff options
Diffstat (limited to 'quick.ads')
-rw-r--r-- | quick.ads | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/quick.ads b/quick.ads new file mode 100644 index 0000000..e406d51 --- /dev/null +++ b/quick.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 Quick is + + procedure In_Place(Arr : in out Array_T); + +end Quick; + |