DEFINITION MODULE TimeUnits;

(* Base Units for Date and Time *)


IMPORT INTEGER16, Unsigned31, Unsigned24, Unsigned60, UnsignedReal60;


TYPE
    Year = INTEGER16;
    (* base unit for calendar years, -32768 .. 32767 *)

    Month = ( Jan, Feb, Mar, Apr, May, Jun, Jul, Aug, Sep, Oct, Nov, Dec );
    (* base unit for calendar months *)

    Day = Unsigned31;
    (* base unit for calendar days, 1 .. 31 *)

    Days = CARDINAL32;
    (* base unit for elapsed days, 0 .. 4294967295 *)

    Hours = Unsigned24;
    (* base unit for hour of the day, 0 .. 23 *)

    Minutes = Unsigned60;
    (* base unit for minutes in an hour, 0 .. 59 *)

    Seconds = UnsignedReal60;
    (* base unit for fractional seconds in a minute, 0 .. 59.999 *)

END TimeUnits.