You've already forked Compile_And_Prove_Demo
mirror of
https://github.com/AdaCore/Compile_And_Prove_Demo.git
synced 2026-02-12 12:45:02 -08:00
8 lines
160 B
Ada
8 lines
160 B
Ada
package Sensor_Average is
|
|
|
|
type Temperature is delta 0.1 range -100.0 .. 100.0;
|
|
|
|
procedure Get_Temperature (Temp : out Temperature);
|
|
|
|
end Sensor_Average;
|