File: reduce_iterative.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 Combine (Left, Right : ElementTo API doc
To spec) return ElementTo API doc
To spec is <>;

```
 
```

function Reduce_IterativeTo API doc
To body (A : Element_ArrayTo API doc
To spec) return ElementTo API doc
To spec;