class
	TIME_CONSTANTS

General
	cluster: time
	description: "Universal constants of time in a day"

Ancestors
	TIME_UTILITY

Queries
	Date_time_tools: DATE_TIME_TOOLS
	default_format_string: STRING_8
	Hours_in_day: INTEGER_32
	Minutes_in_hour: INTEGER_32
	Seconds_in_day: INTEGER_32
	Seconds_in_hour: INTEGER_32
	Seconds_in_minute: INTEGER_32
	time_default_format_string: STRING_8

Generated by ISE EiffelStudio