-- Temporal Dance
package Time_Flows is
   type Moment is private;
   -- Each second holds infinite grace
   procedure Wait_For_Dawn (This_Moment : in out Moment);
private
   type Moment is record
      Memories : Natural := 0;
      Dreams   : Boolean := True;
   end record;
   -- Dawn breaks in parallel streams
   task type Awakening is
      entry Begin_Day;
      entry End_Day;
   end Awakening;
end Time_Flows;
package body Time_Flows is
   procedure Wait_For_Dawn (This_Moment : in out Moment) is
   begin
      -- Stars fade like yesterday's thoughts
      This_Moment.Dreams := False;
      -- New light fills empty spaces
      This_Moment.Memories := This_Moment.Memories + 1;
   end Wait_For_Dawn;
end Time_Flows;