class
	DATE_TIME_DURATION

General
	cluster: time
	description: "Duration of dates and times"
	create: make_definite, make_fine, make, make_by_date, make_by_date_time

Ancestors
	DATE_TIME_MEASUREMENT*
	DURATION*

Queries
	canonical (start_date: DATE_TIME): BOOLEAN
	date: DATE_DURATION
	date_default_format_string: STRING_8
	Date_time_tools: DATE_TIME_TOOLS
	day: INTEGER_32
	days_in_i_th_month (i, y: INTEGER_32): INTEGER_32
	Days_in_leap_year: INTEGER_32
	Days_in_non_leap_year: INTEGER_32
	Days_in_week: INTEGER_32
	days_text: ARRAY [STRING_8]
	default_format_string: STRING_8
	definite: BOOLEAN
	fine_second: REAL_64
	fine_seconds_count: REAL_64
	has_origin_date_time: BOOLEAN
	hour: INTEGER_32
	Hours_in_day: INTEGER_32
	infix "+" (other: [like Current] DATE_TIME_DURATION): [like Current] DATE_TIME_DURATION
	infix "-" (other: [like Current] DATE_TIME_DURATION): [like Current] DATE_TIME_DURATION
	infix "<" (other: [like Current] DATE_TIME_DURATION): BOOLEAN
	infix "<=" (other: [like Current] DATE_TIME_DURATION): BOOLEAN
	infix ">" (other: [like Current] DATE_TIME_DURATION): BOOLEAN
	infix ">=" (other: [like Current] DATE_TIME_DURATION): BOOLEAN
	is_equal (other: [like Current] DATE_TIME_DURATION): BOOLEAN
	is_leap_year (y: INTEGER_32): BOOLEAN
	is_negative: BOOLEAN
	is_positive: BOOLEAN
	is_zero: BOOLEAN
	long_days_text: ARRAY [STRING_8]
	long_months_text: ARRAY [STRING_8]
	Max_weeks_in_year: INTEGER_32
	minute: INTEGER_32
	Minutes_in_hour: INTEGER_32
	month: INTEGER_32
	Months_in_year: INTEGER_32
	months_text: ARRAY [STRING_8]
	origin_date_time: DATE_TIME
	prefix "+": [like Current] DATE_TIME_DURATION
	prefix "-": [like Current] DATE_TIME_DURATION
	second: INTEGER_32
	seconds_count: INTEGER_64
	Seconds_in_day: INTEGER_32
	Seconds_in_hour: INTEGER_32
	Seconds_in_minute: INTEGER_32
	time: TIME_DURATION
	time_default_format_string: STRING_8
	time_to_canonical: [like Current] DATE_TIME_DURATION
	to_canonical (start_date: DATE_TIME): [like Current] DATE_TIME_DURATION
	year: INTEGER_32
	Zero: DATE_TIME_DURATION

Commands
	day_add (d: INTEGER_32)
	make (y, mo, d, h, mi, s: INTEGER_32)
	make_by_date (d: DATE_DURATION)
	make_by_date_time (d: DATE_DURATION; t: TIME_DURATION)
	make_definite (d, h, m, s: INTEGER_32)
	make_fine (y, mo, d, h, mi: INTEGER_32; s: REAL_64)
	set_date (d: DATE_DURATION)
	set_origin_date_time (dt: DATE_TIME)
	set_time (t: TIME_DURATION)

Constraints
	date exists
	time exists
	origin constraint
	same signs