8 lines
114 B
Ada
8 lines
114 B
Ada
with
|
|
any_Math;
|
|
|
|
|
|
package short_Math is new any_Math (Real_t => short_Float);
|
|
pragma Pure (short_Math);
|
|
|