agpl_1.0.0_b5da3320/src/agpl-protected_values-time.ads

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
 

--  Protected container for values of any private type.

with Agpl.Protected_Value;

with Ada.Calendar;

package Agpl.Protected_Values.Time is
   new Agpl.Protected_Value (Ada.Calendar.Time);