class
	DATE

General
	cluster: time
	description: "Absolute dates"
	create: make_month_day_year, make_by_compact_date, make_from_string, make_day_month_year, make_from_string_default, make_now, make_from_string_with_base, make_by_days, make, make_from_string_default_with_base

Ancestors
	ABSOLUTE
	DATE_VALIDITY_CHECKER
	DATE_VALUE

Queries
	infix ">=" (other: [like Current] DATE): BOOLEAN
	infix ">" (other: [like Current] DATE): BOOLEAN
	infix "<=" (other: [like Current] DATE): BOOLEAN
	infix "<" (other: [like Current] DATE): BOOLEAN
	infix "-" (other: [like Current] DATE): INTERVAL [[like Current] DATE]
	infix "+" (d: DATE_DURATION): DATE
	compact_date: INTEGER
	compact_date_valid (c_d: INTEGER): BOOLEAN
	date_default_format_string: STRING
	date_valid (s, code_string: STRING): BOOLEAN
	date_valid_default (s: STRING): BOOLEAN
	date_valid_default_with_base (s: STRING; base: INTEGER): BOOLEAN
	date_valid_with_base (s, code_string: STRING; base: INTEGER): BOOLEAN
	day: INTEGER
	day_of_january_1st: INTEGER
	day_of_the_week: INTEGER
	days: INTEGER
	days_at_month: INTEGER
	days_from (y: INTEGER): INTEGER
	days_in_i_th_month (i, y: INTEGER): INTEGER
	Days_in_leap_year: INTEGER
	days_in_month: INTEGER
	Days_in_non_leap_year: INTEGER
	Days_in_week: INTEGER
	days_in_year: INTEGER
	days_text: ARRAY [STRING]
	duration: DATE_DURATION
	formatted_out (s: STRING): STRING
	is_correct_date (y, m, d: INTEGER): BOOLEAN
	is_equal (other: [like Current] DATE): BOOLEAN
	is_leap_year (y: INTEGER): BOOLEAN
	leap_year: BOOLEAN
	long_days_text: ARRAY [STRING]
	long_months_text: ARRAY [STRING]
	max (other: [like Current] DATE): [like Current] DATE
	Max_weeks_in_year: INTEGER
	min (other: [like Current] DATE): [like Current] DATE
	month: INTEGER
	Months_in_year: INTEGER
	months_text: ARRAY [STRING]
	Origin: DATE
	out: STRING
	relative_duration (other: [like Current] DATE): DATE_DURATION
	three_way_comparison (other: [like Current] DATE): INTEGER
	to_date_time: DATE_TIME
	week_of_year: INTEGER
	year: INTEGER
	year_day: INTEGER

Commands
	add (d: DATE_DURATION)
	day_add (d: INTEGER)
	day_back
	day_forth
	month_add (m: INTEGER)
	month_back
	month_forth
	set_day (d: INTEGER)
	set_month (m: INTEGER)
	set_year (y: INTEGER)
	year_add (y: INTEGER)
	year_back
	year_forth
	year_month_add (y, m: INTEGER)

Constraints
	day large enough
	day small enough
	month large enough
	month small enough
	year small enough
	year positive