File: concurrent_mergesort.ads

```
generic 
```
```
 
```
```
   type Element       is private; 
```
```
   type Index         is (<>); 
```

   type Element_Array is array (IndexTo API doc
To spec range <>) of ElementTo API doc
To spec;

```
 
```

   with function "<" (Left, Right : ElementTo API doc
To spec) return Boolean is <>;

```
 
```

procedure Concurrent_MergesortTo API doc
To body (Sort_Field : in out Element_ArrayTo API doc
To spec);