8 lines
136 B
Ada
8 lines
136 B
Ada
with
|
|
any_Math.any_Analysis;
|
|
|
|
|
|
package float_Math.Analysis is new float_Math.any_Analysis;
|
|
pragma Pure (float_Math.Analysis);
|
|
|