class
	TIME

General
	cluster: time
	description: "Absolute times"
	create: make_fine, make_now, make, make_by_compact_time, make_from_string, make_by_seconds, make_by_fine_seconds, make_from_string_default

Ancestors
	ABSOLUTE
	TIME_VALIDITY_CHECKER
	TIME_VALUE

Queries
	infix ">=" (other: [like Current] TIME): BOOLEAN
	infix ">" (other: [like Current] TIME): BOOLEAN
	infix "<=" (other: [like Current] TIME): BOOLEAN
	infix "<" (other: [like Current] TIME): BOOLEAN
	infix "-" (other: [like Current] TIME): INTERVAL [[like Current] TIME]
	infix "+" (t: TIME_DURATION): TIME
	compact_time: INTEGER
	compact_time_valid (c_t: INTEGER): BOOLEAN
	duration: TIME_DURATION
	fine_second: DOUBLE
	fine_seconds: DOUBLE
	formatted_out (s: STRING): STRING
	fractional_second: DOUBLE
	hour: INTEGER
	Hours_in_day: INTEGER
	is_correct_time (h, m: INTEGER; s: DOUBLE; twelve_hour_scale: BOOLEAN): BOOLEAN
	is_equal (other: [like Current] TIME): BOOLEAN
	max (other: [like Current] TIME): [like Current] TIME
	micro_second: INTEGER
	milli_second: INTEGER
	min (other: [like Current] TIME): [like Current] TIME
	minute: INTEGER
	Minutes_in_hour: INTEGER
	nano_second: INTEGER
	Origin: TIME
	out: STRING
	relative_duration (other: [like Current] TIME): TIME_DURATION
	second: INTEGER
	seconds: INTEGER
	Seconds_in_day: INTEGER
	Seconds_in_hour: INTEGER
	Seconds_in_minute: INTEGER
	three_way_comparison (other: [like Current] TIME): INTEGER
	time_default_format_string: STRING
	time_valid (s, code_string: STRING): BOOLEAN

Commands
	fine_second_add (f: DOUBLE)
	hour_add (h: INTEGER)
	hour_back
	hour_forth
	make (h, m, s: INTEGER)
	make_by_compact_time (c_t: INTEGER)
	make_by_fine_seconds (sec: DOUBLE)
	make_by_seconds (sec: INTEGER)
	make_fine (h, m: INTEGER; s: DOUBLE)
	make_from_string (s, code: STRING)
	make_from_string_default (s: STRING)
	make_now
	minute_add (m: INTEGER)
	minute_back
	minute_forth
	second_add (s: INTEGER)
	second_back
	second_forth
	set_fine_second (s: DOUBLE)
	set_fractionals (f: DOUBLE)
	set_hour (h: INTEGER)
	set_minute (m: INTEGER)
	set_second (s: INTEGER)

Constraints
	second large enough
	second small enough
	fractionals large enough
	fractionals small enough
	minute large enough
	minute small enough
	hour large enough
	hour small enough