diff --git a/test.Mod b/test.Mod index aeec3a5..0c5d897 100644 --- a/test.Mod +++ b/test.Mod @@ -1,11 +1,13 @@ -MODULE test. +MODULE test; -IMPORT Day; +IMPORT Days; -VAR today: Days.Day; +VAR today, yesterday, tomorrow: Days.Day; BEGIN today := Days.mon; (*init*) + yesterday := Days.Prev(today); + tomorrow := Days.Next(today); END test.