-- Computes travel time
with Text_IO;
procedure Travel_Timing is
package I_IO is new Text_IO.Integer_IO(Integer);
package F_IO is new Text_IO.Float_IO(Float);
speed : Integer; -- km/h
distance: Float; -- km
time : Float; -- h
begin --Travel_Timing
Text_IO.Put(" What's your speed (in km/h)? ");
I_IO.Get(speed);
Text_IO.Put(" How many km to your destination? ");
F_IO.Get(distance);
time := distance / float(speed);
Text_IO.Put("It will take you ");
f_io.put(time);
Text_IO.Put_Line(" h to get there. ");
end Travel_Timing;