package Feasibility_Test.generated_R1 is function compute_reponse_time_R1 (My_Tasks : in Tasks_Set; Current_Task : in Generic_Task_Ptr) return Double; end Feasibility_Test.generated_R1;