    class
    	TIME

    General
    	cluster: time
    	description: "Absolute times"
    	create: make_now_utc, 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
    	compact_time: INTEGER_32
    	compact_time_valid (c_t: INTEGER_32): BOOLEAN
    	Date_time_tools: DATE_TIME_TOOLS
    	default_format_string: STRING_8
    	duration: TIME_DURATION
    	fine_second: REAL_64
    	fine_seconds: REAL_64
    	formatted_out (s: STRING_8): STRING_8
    	fractional_second: REAL_64
    	hour: INTEGER_32
    	Hours_in_day: INTEGER_32
    	infix "+" (t: TIME_DURATION): TIME
    	infix "-" (other: [like Current] TIME): INTERVAL [[like Current] TIME]
    	infix "<" (other: [like Current] TIME): BOOLEAN
    	infix "<=" (other: [like Current] TIME): BOOLEAN
    	infix ">" (other: [like Current] TIME): BOOLEAN
    	infix ">=" (other: [like Current] TIME): BOOLEAN
    	is_correct_time (h, m: INTEGER_32; s: REAL_64; twelve_hour_scale: BOOLEAN): BOOLEAN
    	is_equal (other: [like Current] TIME): BOOLEAN
    	max (other: [like Current] TIME): [like Current] TIME
    	micro_second: INTEGER_32
    	milli_second: INTEGER_32
    	min (other: [like Current] TIME): [like Current] TIME
    	minute: INTEGER_32
    	Minutes_in_hour: INTEGER_32
    	nano_second: INTEGER_32
    	Origin: TIME
    	out: STRING_8
    	relative_duration (other: [like Current] TIME): TIME_DURATION
    	second: INTEGER_32
    	seconds: INTEGER_32
    	Seconds_in_day: INTEGER_32
    	Seconds_in_hour: INTEGER_32
    	Seconds_in_minute: INTEGER_32
    	three_way_comparison (other: [like Current] TIME): INTEGER_32
    	time_default_format_string: STRING_8
    	time_valid (s, code_string: STRING_8): BOOLEAN

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

    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