我正在使用SPARK方法對Ada進行自動列車保護。這是我在SPARK規格： package Sensors
--# own State,Pointer,State1,State2;
--# initializes State,Pointer,State1,State2;
is
type Sensor_Type is (Proceed, Caution, Danger, Un
如何在SPARK Ada中實例化非庫級軟件包？ 說我有這樣的： subtype Die is Integer range 1..6;
package Random_Die
is
new Ada.Numerics.Discrete_Random(Die);
這給了我的錯誤： instantiation error at a-nudira.ads.45
incorrect plac