blob: 6fce4df8a3e751731c016659b82a5c8b5c791b3d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
package Loop_Optimization10_Pkg is
pragma Pure (Loop_Optimization10_Pkg);
type Limit_Type is record
Low : Float;
High : Float;
end record;
function F (Low, High : in Float) return Limit_Type;
end Loop_Optimization10_Pkg;
|