rbs-relaxed 3.9.0.1

data/stdlib/date/0/date.rbs

@@ -0,0 +1,1585 @@
+# <!-- rdoc-file=ext/date/date_core.c -->
+# Class Date provides methods for storing and manipulating calendar dates.
+#
+# Consider using [class Time](rdoc-ref:Time) instead of class Date if:
+#
+# *   You need both dates and times; Date handles only dates.
+# *   You need only Gregorian dates (and not Julian dates); see [Julian and
+#     Gregorian Calendars](rdoc-ref:date/calendars.rdoc).
+#
+# A Date object, once created, is immutable, and cannot be modified.
+#
+# ## Creating a Date
+#
+# You can create a date for the current date, using Date.today:
+#
+#     Date.today # => #<Date: 1999-12-31>
+#
+# You can create a specific date from various combinations of arguments:
+#
+# *   Date.new takes integer year, month, and day-of-month:
+#
+#         Date.new(1999, 12, 31) # => #<Date: 1999-12-31>
+#
+# *   Date.ordinal takes integer year and day-of-year:
+#
+#         Date.ordinal(1999, 365) # => #<Date: 1999-12-31>
+#
+# *   Date.jd takes integer Julian day:
+#
+#         Date.jd(2451544) # => #<Date: 1999-12-31>
+#
+# *   Date.commercial takes integer commercial data (year, week, day-of-week):
+#
+#         Date.commercial(1999, 52, 5) # => #<Date: 1999-12-31>
+#
+# *   Date.parse takes a string, which it parses heuristically:
+#
+#         Date.parse('1999-12-31')    # => #<Date: 1999-12-31>
+#         Date.parse('31-12-1999')    # => #<Date: 1999-12-31>
+#         Date.parse('1999-365')      # => #<Date: 1999-12-31>
+#         Date.parse('1999-W52-5')    # => #<Date: 1999-12-31>
+#
+# *   Date.strptime takes a date string and a format string, then parses the
+#     date string according to the format string:
+#
+#         Date.strptime('1999-12-31', '%Y-%m-%d')  # => #<Date: 1999-12-31>
+#         Date.strptime('31-12-1999', '%d-%m-%Y')  # => #<Date: 1999-12-31>
+#         Date.strptime('1999-365', '%Y-%j')       # => #<Date: 1999-12-31>
+#         Date.strptime('1999-W52-5', '%G-W%V-%u') # => #<Date: 1999-12-31>
+#         Date.strptime('1999 52 5', '%Y %U %w')   # => #<Date: 1999-12-31>
+#         Date.strptime('1999 52 5', '%Y %W %u')   # => #<Date: 1999-12-31>
+#         Date.strptime('fri31dec99', '%a%d%b%y')  # => #<Date: 1999-12-31>
+#
+# See also the specialized methods in ["Specialized Format Strings" in Formats
+# for Dates and
+# Times](rdoc-ref:strftime_formatting.rdoc@Specialized+Format+Strings)
+#
+# ## Argument `limit`
+#
+# Certain singleton methods in Date that parse string arguments also take
+# optional keyword argument `limit`, which can limit the length of the string
+# argument.
+#
+# When `limit` is:
+#
+# *   Non-negative: raises ArgumentError if the string length is greater than
+#     *limit*.
+# *   Other numeric or `nil`: ignores `limit`.
+# *   Other non-numeric: raises TypeError.
+#
+class Date
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - Date.new(year = -4712, month = 1, mday = 1, start = Date::ITALY) -> date
+  # -->
+  # Returns a new Date object constructed from the given arguments:
+  #
+  #     Date.new(2022).to_s        # => "2022-01-01"
+  #     Date.new(2022, 2).to_s     # => "2022-02-01"
+  #     Date.new(2022, 2, 4).to_s  # => "2022-02-04"
+  #
+  # Argument `month` should be in range (1..12) or range (-12..-1); when the
+  # argument is negative, counts backward from the end of the year:
+  #
+  #     Date.new(2022, -11, 4).to_s # => "2022-02-04"
+  #
+  # Argument `mday` should be in range (1..n) or range (-n..-1) where `n` is the
+  # number of days in the month; when the argument is negative, counts backward
+  # from the end of the month.
+  #
+  # See argument [start](rdoc-ref:date/calendars.rdoc@Argument+start).
+  #
+  # Related: Date.jd.
+  #
+  def initialize: (?Integer year, ?Integer month, ?Integer mday, ?Integer start) -> void
+
+  include Comparable
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - Date._httpdate(string, limit: 128) -> hash
+  # -->
+  # Returns a hash of values parsed from `string`, which should be a valid [HTTP
+  # date format](rdoc-ref:strftime_formatting.rdoc@HTTP+Format):
+  #
+  #     d = Date.new(2001, 2, 3)
+  #     s = d.httpdate # => "Sat, 03 Feb 2001 00:00:00 GMT"
+  #     Date._httpdate(s)
+  #     # => {:wday=>6, :mday=>3, :mon=>2, :year=>2001, :hour=>0, :min=>0, :sec=>0, :zone=>"GMT", :offset=>0}
+  #
+  # Related: Date.httpdate (returns a Date object).
+  #
+  def self._httpdate: (String str) -> Hash[Symbol, Integer]
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - Date._iso8601(string, limit: 128) -> hash
+  # -->
+  # Returns a hash of values parsed from `string`, which should contain an [ISO
+  # 8601 formatted
+  # date](rdoc-ref:strftime_formatting.rdoc@ISO+8601+Format+Specifications):
+  #
+  #     d = Date.new(2001, 2, 3)
+  #     s = d.iso8601    # => "2001-02-03"
+  #     Date._iso8601(s) # => {:mday=>3, :year=>2001, :mon=>2}
+  #
+  # See argument [limit](rdoc-ref:Date@Argument+limit).
+  #
+  # Related: Date.iso8601 (returns a Date object).
+  #
+  def self._iso8601: (String str) -> Hash[Symbol, Integer]
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - Date._jisx0301(string, limit: 128) -> hash
+  # -->
+  # Returns a hash of values parsed from `string`, which should be a valid [JIS X
+  # 0301 date format](rdoc-ref:strftime_formatting.rdoc@JIS+X+0301+Format):
+  #
+  #     d = Date.new(2001, 2, 3)
+  #     s = d.jisx0301    # => "H13.02.03"
+  #     Date._jisx0301(s) # => {:year=>2001, :mon=>2, :mday=>3}
+  #
+  # See argument [limit](rdoc-ref:Date@Argument+limit).
+  #
+  # Related: Date.jisx0301 (returns a Date object).
+  #
+  def self._jisx0301: (String str) -> Hash[Symbol, Integer]
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - Date._parse(string, comp = true, limit: 128) -> hash
+  # -->
+  # **Note**: This method recognizes many forms in `string`, but it is not a
+  # validator. For formats, see ["Specialized Format Strings" in Formats for Dates
+  # and Times](rdoc-ref:strftime_formatting.rdoc@Specialized+Format+Strings)
+  #
+  # If `string` does not specify a valid date, the result is unpredictable;
+  # consider using Date._strptime instead.
+  #
+  # Returns a hash of values parsed from `string`:
+  #
+  #     Date._parse('2001-02-03') # => {:year=>2001, :mon=>2, :mday=>3}
+  #
+  # If `comp` is `true` and the given year is in the range `(0..99)`, the current
+  # century is supplied; otherwise, the year is taken as given:
+  #
+  #     Date._parse('01-02-03', true)  # => {:year=>2001, :mon=>2, :mday=>3}
+  #     Date._parse('01-02-03', false) # => {:year=>1, :mon=>2, :mday=>3}
+  #
+  # See argument [limit](rdoc-ref:Date@Argument+limit).
+  #
+  # Related: Date.parse(returns a Date object).
+  #
+  def self._parse: (String str, ?boolish complete) -> Hash[Symbol, Integer]
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - Date._rfc2822(string, limit: 128) -> hash
+  # -->
+  # Returns a hash of values parsed from `string`, which should be a valid [RFC
+  # 2822 date format](rdoc-ref:strftime_formatting.rdoc@RFC+2822+Format):
+  #
+  #     d = Date.new(2001, 2, 3)
+  #     s = d.rfc2822 # => "Sat, 3 Feb 2001 00:00:00 +0000"
+  #     Date._rfc2822(s)
+  #     # => {:wday=>6, :mday=>3, :mon=>2, :year=>2001, :hour=>0, :min=>0, :sec=>0, :zone=>"+0000", :offset=>0}
+  #
+  # See argument [limit](rdoc-ref:Date@Argument+limit).
+  #
+  # Related: Date.rfc2822 (returns a Date object).
+  #
+  def self._rfc2822: (String str) -> Hash[Symbol, Integer | String]
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - Date._rfc3339(string, limit: 128) -> hash
+  # -->
+  # Returns a hash of values parsed from `string`, which should be a valid [RFC
+  # 3339 format](rdoc-ref:strftime_formatting.rdoc@RFC+3339+Format):
+  #
+  #     d = Date.new(2001, 2, 3)
+  #     s = d.rfc3339     # => "2001-02-03T00:00:00+00:00"
+  #     Date._rfc3339(s)
+  #     # => {:year=>2001, :mon=>2, :mday=>3, :hour=>0, :min=>0, :sec=>0, :zone=>"+00:00", :offset=>0}
+  #
+  # See argument [limit](rdoc-ref:Date@Argument+limit).
+  #
+  # Related: Date.rfc3339 (returns a Date object).
+  #
+  def self._rfc3339: (String str) -> Hash[Symbol, Integer | String]
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - Date._rfc2822(string, limit: 128) -> hash
+  # -->
+  # Returns a hash of values parsed from `string`, which should be a valid [RFC
+  # 2822 date format](rdoc-ref:strftime_formatting.rdoc@RFC+2822+Format):
+  #
+  #     d = Date.new(2001, 2, 3)
+  #     s = d.rfc2822 # => "Sat, 3 Feb 2001 00:00:00 +0000"
+  #     Date._rfc2822(s)
+  #     # => {:wday=>6, :mday=>3, :mon=>2, :year=>2001, :hour=>0, :min=>0, :sec=>0, :zone=>"+0000", :offset=>0}
+  #
+  # See argument [limit](rdoc-ref:Date@Argument+limit).
+  #
+  # Related: Date.rfc2822 (returns a Date object).
+  #
+  def self._rfc822: (String str) -> Hash[Symbol, Integer | String]
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - Date._strptime(string, format = '%F') -> hash
+  # -->
+  # Returns a hash of values parsed from `string` according to the given `format`:
+  #
+  #     Date._strptime('2001-02-03', '%Y-%m-%d') # => {:year=>2001, :mon=>2, :mday=>3}
+  #
+  # For other formats, see [Formats for Dates and
+  # Times](rdoc-ref:strftime_formatting.rdoc). (Unlike Date.strftime, does not
+  # support flags and width.)
+  #
+  # See also [strptime(3)](https://man7.org/linux/man-pages/man3/strptime.3.html).
+  #
+  # Related: Date.strptime (returns a Date object).
+  #
+  def self._strptime: (String str, ?String format) -> Hash[Symbol, Integer]
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - Date._xmlschema(string, limit: 128) -> hash
+  # -->
+  # Returns a hash of values parsed from `string`, which should be a valid XML
+  # date format:
+  #
+  #     d = Date.new(2001, 2, 3)
+  #     s = d.xmlschema    # => "2001-02-03"
+  #     Date._xmlschema(s) # => {:year=>2001, :mon=>2, :mday=>3}
+  #
+  # See argument [limit](rdoc-ref:Date@Argument+limit).
+  #
+  # Related: Date.xmlschema (returns a Date object).
+  #
+  def self._xmlschema: (String str) -> Hash[Symbol, Integer]
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - civil(*args)
+  # -->
+  # Same as Date.new.
+  #
+  def self.civil: (?Integer year, ?Integer month, ?Integer mday, ?Integer start) -> Date
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - Date.commercial(cwyear = -4712, cweek = 1, cwday = 1, start = Date::ITALY) -> date
+  # -->
+  # Returns a new Date object constructed from the arguments.
+  #
+  # Argument `cwyear` gives the year, and should be an integer.
+  #
+  # Argument `cweek` gives the index of the week within the year, and should be in
+  # range (1..53) or (-53..-1); in some years, 53 or -53 will be out-of-range; if
+  # negative, counts backward from the end of the year:
+  #
+  #     Date.commercial(2022, 1, 1).to_s  # => "2022-01-03"
+  #     Date.commercial(2022, 52, 1).to_s # => "2022-12-26"
+  #
+  # Argument `cwday` gives the indes of the weekday within the week, and should be
+  # in range (1..7) or (-7..-1); 1 or -7 is Monday; if negative, counts backward
+  # from the end of the week:
+  #
+  #     Date.commercial(2022, 1, 1).to_s  # => "2022-01-03"
+  #     Date.commercial(2022, 1, -7).to_s # => "2022-01-03"
+  #
+  # When `cweek` is 1:
+  #
+  # *   If January 1 is a Friday, Saturday, or Sunday, the first week begins in
+  #     the week after:
+  #
+  #         Date::ABBR_DAYNAMES[Date.new(2023, 1, 1).wday] # => "Sun"
+  #         Date.commercial(2023, 1, 1).to_s # => "2023-01-02"
+  #         Date.commercial(2023, 1, 7).to_s # => "2023-01-08"
+  #
+  # *   Otherwise, the first week is the week of January 1, which may mean some of
+  #     the days fall on the year before:
+  #
+  #         Date::ABBR_DAYNAMES[Date.new(2020, 1, 1).wday] # => "Wed"
+  #         Date.commercial(2020, 1, 1).to_s # => "2019-12-30"
+  #         Date.commercial(2020, 1, 7).to_s # => "2020-01-05"
+  #
+  # See argument [start](rdoc-ref:date/calendars.rdoc@Argument+start).
+  #
+  # Related: Date.jd, Date.new, Date.ordinal.
+  #
+  def self.commercial: (?Integer cwyear, ?Integer cweek, ?Integer cwday, ?Integer start) -> Date
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - Date.gregorian_leap?(year) -> true or false
+  # -->
+  # Returns `true` if the given year is a leap year in the [proleptic Gregorian
+  # calendar](https://en.wikipedia.org/wiki/Proleptic_Gregorian_calendar), `false`
+  # otherwise:
+  #
+  #     Date.gregorian_leap?(2000) # => true
+  #     Date.gregorian_leap?(2001) # => false
+  #
+  # Related: Date.julian_leap?.
+  #
+  def self.gregorian_leap?: (Integer year) -> bool
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - Date.httpdate(string = 'Mon, 01 Jan -4712 00:00:00 GMT', start = Date::ITALY, limit: 128) -> date
+  # -->
+  # Returns a new Date object with values parsed from `string`, which should be a
+  # valid [HTTP date format](rdoc-ref:strftime_formatting.rdoc@HTTP+Format):
+  #
+  #     d = Date.new(2001, 2, 3)
+  #     s = d.httpdate   # => "Sat, 03 Feb 2001 00:00:00 GMT"
+  #     Date.httpdate(s) # => #<Date: 2001-02-03>
+  #
+  # See:
+  #
+  # *   Argument [start](rdoc-ref:date/calendars.rdoc@Argument+start).
+  # *   Argument [limit](rdoc-ref:Date@Argument+limit).
+  #
+  # Related: Date._httpdate (returns a hash).
+  #
+  def self.httpdate: (String str, ?Integer start) -> Date
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - Date.iso8601(string = '-4712-01-01', start = Date::ITALY, limit: 128) -> date
+  # -->
+  # Returns a new Date object with values parsed from `string`, which should
+  # contain an [ISO 8601 formatted
+  # date](rdoc-ref:strftime_formatting.rdoc@ISO+8601+Format+Specifications):
+  #
+  #     d = Date.new(2001, 2, 3)
+  #     s = d.iso8601   # => "2001-02-03"
+  #     Date.iso8601(s) # => #<Date: 2001-02-03>
+  #
+  # See:
+  #
+  # *   Argument [start](rdoc-ref:date/calendars.rdoc@Argument+start).
+  # *   Argument [limit](rdoc-ref:Date@Argument+limit).
+  #
+  # Related: Date._iso8601 (returns a hash).
+  #
+  def self.iso8601: (String str, ?Integer start) -> Date
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - Date.jd(jd = 0, start = Date::ITALY) -> date
+  # -->
+  # Returns a new Date object formed from the arguments:
+  #
+  #     Date.jd(2451944).to_s # => "2001-02-03"
+  #     Date.jd(2451945).to_s # => "2001-02-04"
+  #     Date.jd(0).to_s       # => "-4712-01-01"
+  #
+  # The returned date is:
+  #
+  # *   Gregorian, if the argument is greater than or equal to `start`:
+  #
+  #         Date::ITALY                         # => 2299161
+  #         Date.jd(Date::ITALY).gregorian?     # => true
+  #         Date.jd(Date::ITALY + 1).gregorian? # => true
+  #
+  # *   Julian, otherwise
+  #
+  #         Date.jd(Date::ITALY - 1).julian?    # => true
+  #
+  # See argument [start](rdoc-ref:date/calendars.rdoc@Argument+start).
+  #
+  # Related: Date.new.
+  #
+  def self.jd: (Integer jd, ?Integer start) -> Date
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - Date.jisx0301(string = '-4712-01-01', start = Date::ITALY, limit: 128) -> date
+  # -->
+  # Returns a new Date object with values parsed from `string`, which should be a
+  # valid [JIS X 0301
+  # format](rdoc-ref:strftime_formatting.rdoc@JIS+X+0301+Format):
+  #
+  #     d = Date.new(2001, 2, 3)
+  #     s = d.jisx0301   # => "H13.02.03"
+  #     Date.jisx0301(s) # => #<Date: 2001-02-03>
+  #
+  # For no-era year, legacy format, Heisei is assumed.
+  #
+  #     Date.jisx0301('13.02.03') # => #<Date: 2001-02-03>
+  #
+  # See:
+  #
+  # *   Argument [start](rdoc-ref:date/calendars.rdoc@Argument+start).
+  # *   Argument [limit](rdoc-ref:Date@Argument+limit).
+  #
+  # Related: Date._jisx0301 (returns a hash).
+  #
+  def self.jisx0301: (String str, ?Integer start) -> Date
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - Date.julian_leap?(year) -> true or false
+  # -->
+  # Returns `true` if the given year is a leap year in the [proleptic Julian
+  # calendar](https://en.wikipedia.org/wiki/Proleptic_Julian_calendar), `false`
+  # otherwise:
+  #
+  #     Date.julian_leap?(1900) # => true
+  #     Date.julian_leap?(1901) # => false
+  #
+  # Related: Date.gregorian_leap?.
+  #
+  def self.julian_leap?: (Integer year) -> bool
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - Date.gregorian_leap?(year) -> true or false
+  # -->
+  # Returns `true` if the given year is a leap year in the [proleptic Gregorian
+  # calendar](https://en.wikipedia.org/wiki/Proleptic_Gregorian_calendar), `false`
+  # otherwise:
+  #
+  #     Date.gregorian_leap?(2000) # => true
+  #     Date.gregorian_leap?(2001) # => false
+  #
+  # Related: Date.julian_leap?.
+  #
+  def self.leap?: (Integer year) -> bool
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - Date.ordinal(year = -4712, yday = 1, start = Date::ITALY) -> date
+  # -->
+  # Returns a new Date object formed fom the arguments.
+  #
+  # With no arguments, returns the date for January 1, -4712:
+  #
+  #     Date.ordinal.to_s # => "-4712-01-01"
+  #
+  # With argument `year`, returns the date for January 1 of that year:
+  #
+  #     Date.ordinal(2001).to_s  # => "2001-01-01"
+  #     Date.ordinal(-2001).to_s # => "-2001-01-01"
+  #
+  # With positive argument `yday` == `n`, returns the date for the `nth` day of
+  # the given year:
+  #
+  #     Date.ordinal(2001, 14).to_s # => "2001-01-14"
+  #
+  # With negative argument `yday`, counts backward from the end of the year:
+  #
+  #     Date.ordinal(2001, -14).to_s # => "2001-12-18"
+  #
+  # Raises an exception if `yday` is zero or out of range.
+  #
+  # See argument [start](rdoc-ref:date/calendars.rdoc@Argument+start).
+  #
+  # Related: Date.jd, Date.new.
+  #
+  def self.ordinal: (?Integer year, ?Integer yday, ?Integer start) -> Date
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - Date.parse(string = '-4712-01-01', comp = true, start = Date::ITALY, limit: 128) -> date
+  # -->
+  # **Note**: This method recognizes many forms in `string`, but it is not a
+  # validator. For formats, see ["Specialized Format Strings" in Formats for Dates
+  # and Times](rdoc-ref:strftime_formatting.rdoc@Specialized+Format+Strings) If
+  # `string` does not specify a valid date, the result is unpredictable; consider
+  # using Date._strptime instead.
+  #
+  # Returns a new Date object with values parsed from `string`:
+  #
+  #     Date.parse('2001-02-03')   # => #<Date: 2001-02-03>
+  #     Date.parse('20010203')     # => #<Date: 2001-02-03>
+  #     Date.parse('3rd Feb 2001') # => #<Date: 2001-02-03>
+  #
+  # If `comp` is `true` and the given year is in the range `(0..99)`, the current
+  # century is supplied; otherwise, the year is taken as given:
+  #
+  #     Date.parse('01-02-03', true)  # => #<Date: 2001-02-03>
+  #     Date.parse('01-02-03', false) # => #<Date: 0001-02-03>
+  #
+  # See:
+  #
+  # *   Argument [start](rdoc-ref:date/calendars.rdoc@Argument+start).
+  # *   Argument [limit](rdoc-ref:Date@Argument+limit).
+  #
+  # Related: Date._parse (returns a hash).
+  #
+  def self.parse: (?String str, ?boolish complete, ?Integer start) -> Date
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - Date.rfc2822(string = 'Mon, 1 Jan -4712 00:00:00 +0000', start = Date::ITALY, limit: 128) -> date
+  # -->
+  # Returns a new Date object with values parsed from `string`, which should be a
+  # valid [RFC 2822 date
+  # format](rdoc-ref:strftime_formatting.rdoc@RFC+2822+Format):
+  #
+  #     d = Date.new(2001, 2, 3)
+  #     s = d.rfc2822   # => "Sat, 3 Feb 2001 00:00:00 +0000"
+  #     Date.rfc2822(s) # => #<Date: 2001-02-03>
+  #
+  # See:
+  #
+  # *   Argument [start](rdoc-ref:date/calendars.rdoc@Argument+start).
+  # *   Argument [limit](rdoc-ref:Date@Argument+limit).
+  #
+  # Related: Date._rfc2822 (returns a hash).
+  #
+  def self.rfc2822: (String str, ?Integer start) -> Date
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - Date.rfc3339(string = '-4712-01-01T00:00:00+00:00', start = Date::ITALY, limit: 128) -> date
+  # -->
+  # Returns a new Date object with values parsed from `string`, which should be a
+  # valid [RFC 3339 format](rdoc-ref:strftime_formatting.rdoc@RFC+3339+Format):
+  #
+  #     d = Date.new(2001, 2, 3)
+  #     s = d.rfc3339   # => "2001-02-03T00:00:00+00:00"
+  #     Date.rfc3339(s) # => #<Date: 2001-02-03>
+  #
+  # See:
+  #
+  # *   Argument [start](rdoc-ref:date/calendars.rdoc@Argument+start).
+  # *   Argument [limit](rdoc-ref:Date@Argument+limit).
+  #
+  # Related: Date._rfc3339 (returns a hash).
+  #
+  def self.rfc3339: (String str, ?Integer start) -> Date
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - Date.rfc2822(string = 'Mon, 1 Jan -4712 00:00:00 +0000', start = Date::ITALY, limit: 128) -> date
+  # -->
+  # Returns a new Date object with values parsed from `string`, which should be a
+  # valid [RFC 2822 date
+  # format](rdoc-ref:strftime_formatting.rdoc@RFC+2822+Format):
+  #
+  #     d = Date.new(2001, 2, 3)
+  #     s = d.rfc2822   # => "Sat, 3 Feb 2001 00:00:00 +0000"
+  #     Date.rfc2822(s) # => #<Date: 2001-02-03>
+  #
+  # See:
+  #
+  # *   Argument [start](rdoc-ref:date/calendars.rdoc@Argument+start).
+  # *   Argument [limit](rdoc-ref:Date@Argument+limit).
+  #
+  # Related: Date._rfc2822 (returns a hash).
+  #
+  def self.rfc822: (String str, ?Integer start) -> Date
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - Date.strptime(string = '-4712-01-01', format = '%F', start = Date::ITALY) -> date
+  # -->
+  # Returns a new Date object with values parsed from `string`, according to the
+  # given `format`:
+  #
+  #     Date.strptime('2001-02-03', '%Y-%m-%d')  # => #<Date: 2001-02-03>
+  #     Date.strptime('03-02-2001', '%d-%m-%Y')  # => #<Date: 2001-02-03>
+  #     Date.strptime('2001-034', '%Y-%j')       # => #<Date: 2001-02-03>
+  #     Date.strptime('2001-W05-6', '%G-W%V-%u') # => #<Date: 2001-02-03>
+  #     Date.strptime('2001 04 6', '%Y %U %w')   # => #<Date: 2001-02-03>
+  #     Date.strptime('2001 05 6', '%Y %W %u')   # => #<Date: 2001-02-03>
+  #     Date.strptime('sat3feb01', '%a%d%b%y')   # => #<Date: 2001-02-03>
+  #
+  # For other formats, see [Formats for Dates and
+  # Times](rdoc-ref:strftime_formatting.rdoc). (Unlike Date.strftime, does not
+  # support flags and width.)
+  #
+  # See argument [start](rdoc-ref:date/calendars.rdoc@Argument+start).
+  #
+  # See also [strptime(3)](https://man7.org/linux/man-pages/man3/strptime.3.html).
+  #
+  # Related: Date._strptime (returns a hash).
+  #
+  def self.strptime: (String str, ?String format, ?Integer start) -> Date
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - Date.today(start = Date::ITALY) -> date
+  # -->
+  # Returns a new Date object constructed from the present date:
+  #
+  #     Date.today.to_s # => "2022-07-06"
+  #
+  # See argument [start](rdoc-ref:date/calendars.rdoc@Argument+start).
+  #
+  def self.today: (?Integer start) -> Date
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - Date.valid_civil?(year, month, mday, start = Date::ITALY) -> true or false
+  # -->
+  # Returns `true` if the arguments define a valid ordinal date, `false`
+  # otherwise:
+  #
+  #     Date.valid_date?(2001, 2, 3)  # => true
+  #     Date.valid_date?(2001, 2, 29) # => false
+  #     Date.valid_date?(2001, 2, -1) # => true
+  #
+  # See argument [start](rdoc-ref:date/calendars.rdoc@Argument+start).
+  #
+  # Related: Date.jd, Date.new.
+  #
+  def self.valid_civil?: (Integer year, Integer month, Integer mday, ?Integer start) -> bool
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - Date.valid_commercial?(cwyear, cweek, cwday, start = Date::ITALY) -> true or false
+  # -->
+  # Returns `true` if the arguments define a valid commercial date, `false`
+  # otherwise:
+  #
+  #     Date.valid_commercial?(2001, 5, 6) # => true
+  #     Date.valid_commercial?(2001, 5, 8) # => false
+  #
+  # See Date.commercial.
+  #
+  # See argument [start](rdoc-ref:date/calendars.rdoc@Argument+start).
+  #
+  # Related: Date.jd, Date.commercial.
+  #
+  def self.valid_commercial?: (Integer cwyear, Integer cweek, Integer cwday, ?Integer start) -> bool
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - Date.valid_civil?(year, month, mday, start = Date::ITALY) -> true or false
+  # -->
+  # Returns `true` if the arguments define a valid ordinal date, `false`
+  # otherwise:
+  #
+  #     Date.valid_date?(2001, 2, 3)  # => true
+  #     Date.valid_date?(2001, 2, 29) # => false
+  #     Date.valid_date?(2001, 2, -1) # => true
+  #
+  # See argument [start](rdoc-ref:date/calendars.rdoc@Argument+start).
+  #
+  # Related: Date.jd, Date.new.
+  #
+  def self.valid_date?: (Integer year, Integer month, Integer mday, ?Integer start) -> bool
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - Date.valid_jd?(jd, start = Date::ITALY) -> true
+  # -->
+  # Implemented for compatibility; returns `true` unless `jd` is invalid (i.e.,
+  # not a Numeric).
+  #
+  #     Date.valid_jd?(2451944) # => true
+  #
+  # See argument [start](rdoc-ref:date/calendars.rdoc@Argument+start).
+  #
+  # Related: Date.jd.
+  #
+  def self.valid_jd?: (Integer jd, ?Integer start) -> bool
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - Date.valid_ordinal?(year, yday, start = Date::ITALY) -> true or false
+  # -->
+  # Returns `true` if the arguments define a valid ordinal date, `false`
+  # otherwise:
+  #
+  #     Date.valid_ordinal?(2001, 34)  # => true
+  #     Date.valid_ordinal?(2001, 366) # => false
+  #
+  # See argument [start](rdoc-ref:date/calendars.rdoc@Argument+start).
+  #
+  # Related: Date.jd, Date.ordinal.
+  #
+  def self.valid_ordinal?: (Integer year, Integer yday, ?Integer start) -> bool
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - Date.xmlschema(string = '-4712-01-01', start = Date::ITALY, limit: 128)  ->  date
+  # -->
+  # Returns a new Date object with values parsed from `string`, which should be a
+  # valid XML date format:
+  #
+  #     d = Date.new(2001, 2, 3)
+  #     s = d.xmlschema   # => "2001-02-03"
+  #     Date.xmlschema(s) # => #<Date: 2001-02-03>
+  #
+  # See:
+  #
+  # *   Argument [start](rdoc-ref:date/calendars.rdoc@Argument+start).
+  # *   Argument [limit](rdoc-ref:Date@Argument+limit).
+  #
+  # Related: Date._xmlschema (returns a hash).
+  #
+  def self.xmlschema: (String str, ?Integer start) -> Date
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - d + other  ->  date
+  # -->
+  # Returns a date object pointing `other` days after self.  The other should be a
+  # numeric value.  If the other is a fractional number, assumes its precision is
+  # at most nanosecond.
+  #
+  #     Date.new(2001,2,3) + 1    #=> #<Date: 2001-02-04 ...>
+  #     DateTime.new(2001,2,3) + Rational(1,2)
+  #                               #=> #<DateTime: 2001-02-03T12:00:00+00:00 ...>
+  #     DateTime.new(2001,2,3) + Rational(-1,2)
+  #                               #=> #<DateTime: 2001-02-02T12:00:00+00:00 ...>
+  #     DateTime.jd(0,12) + DateTime.new(2001,2,3).ajd
+  #                               #=> #<DateTime: 2001-02-03T00:00:00+00:00 ...>
+  #
+  def +: (Numeric & _ToR other) -> Date
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - d - other  ->  date or rational
+  # -->
+  # If the other is a date object, returns a Rational whose value is the
+  # difference between the two dates in days. If the other is a numeric value,
+  # returns a date object pointing `other` days before self. If the other is a
+  # fractional number, assumes its precision is at most nanosecond.
+  #
+  #     Date.new(2001,2,3) - 1   #=> #<Date: 2001-02-02 ...>
+  #     DateTime.new(2001,2,3) - Rational(1,2)
+  #                              #=> #<DateTime: 2001-02-02T12:00:00+00:00 ...>
+  #     Date.new(2001,2,3) - Date.new(2001)
+  #                              #=> (33/1)
+  #     DateTime.new(2001,2,3) - DateTime.new(2001,2,2,12)
+  #                              #=> (1/2)
+  #
+  def -: (Numeric & _ToR other) -> Date
+       | (Date other) -> Rational
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - d << n  ->  date
+  # -->
+  # Returns a new Date object representing the date `n` months earlier; `n` should
+  # be a numeric:
+  #
+  #     (Date.new(2001, 2, 3) << 1).to_s  # => "2001-01-03"
+  #     (Date.new(2001, 2, 3) << -2).to_s # => "2001-04-03"
+  #
+  # When the same day does not exist for the new month, the last day of that month
+  # is used instead:
+  #
+  #     (Date.new(2001, 3, 31) << 1).to_s  # => "2001-02-28"
+  #     (Date.new(2001, 3, 31) << -6).to_s # => "2001-09-30"
+  #
+  # This results in the following, possibly unexpected, behaviors:
+  #
+  #     d0 = Date.new(2001, 3, 31)
+  #     d0 << 2      # => #<Date: 2001-01-31>
+  #     d0 << 1 << 1 # => #<Date: 2001-01-28>
+  #
+  #     d0 = Date.new(2001, 3, 31)
+  #     d1 = d0 << 1  # => #<Date: 2001-02-28>
+  #     d2 = d1 << -1 # => #<Date: 2001-03-28>
+  #
+  def <<: (Integer month) -> Date
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - self <=> other  -> -1, 0, 1 or nil
+  # -->
+  # Compares `self` and `other`, returning:
+  #
+  # *   `-1` if `other` is larger.
+  # *   `0` if the two are equal.
+  # *   `1` if `other` is smaller.
+  # *   `nil` if the two are incomparable.
+  #
+  # Argument `other` may be:
+  #
+  # *   Another Date object:
+  #
+  #         d = Date.new(2022, 7, 27) # => #<Date: 2022-07-27 ((2459788j,0s,0n),+0s,2299161j)>
+  #         prev_date = d.prev_day    # => #<Date: 2022-07-26 ((2459787j,0s,0n),+0s,2299161j)>
+  #         next_date = d.next_day    # => #<Date: 2022-07-28 ((2459789j,0s,0n),+0s,2299161j)>
+  #         d <=> next_date           # => -1
+  #         d <=> d                   # => 0
+  #         d <=> prev_date           # => 1
+  #
+  # *   A DateTime object:
+  #
+  #         d <=> DateTime.new(2022, 7, 26) # => 1
+  #         d <=> DateTime.new(2022, 7, 27) # => 0
+  #         d <=> DateTime.new(2022, 7, 28) # => -1
+  #
+  # *   A numeric (compares `self.ajd` to `other`):
+  #
+  #         d <=> 2459788 # => -1
+  #         d <=> 2459787 # => 1
+  #         d <=> 2459786 # => 1
+  #         d <=> d.ajd   # => 0
+  #
+  # *   Any other object:
+  #
+  #         d <=> Object.new # => nil
+  #
+  def <=>: (untyped other) -> Integer?
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - self === other -> true, false, or nil.
+  # -->
+  # Returns `true` if `self` and `other` represent the same date, `false` if not,
+  # `nil` if the two are not comparable.
+  #
+  # Argument `other` may be:
+  #
+  # *   Another Date object:
+  #
+  #         d = Date.new(2022, 7, 27) # => #<Date: 2022-07-27 ((2459788j,0s,0n),+0s,2299161j)>
+  #         prev_date = d.prev_day    # => #<Date: 2022-07-26 ((2459787j,0s,0n),+0s,2299161j)>
+  #         next_date = d.next_day    # => #<Date: 2022-07-28 ((2459789j,0s,0n),+0s,2299161j)>
+  #         d === prev_date           # => false
+  #         d === d                   # => true
+  #         d === next_date           # => false
+  #
+  # *   A DateTime object:
+  #
+  #         d === DateTime.new(2022, 7, 26) # => false
+  #         d === DateTime.new(2022, 7, 27) # => true
+  #         d === DateTime.new(2022, 7, 28) # => false
+  #
+  # *   A numeric (compares `self.jd` to `other`):
+  #
+  #         d === 2459788 # => true
+  #         d === 2459787 # => false
+  #         d === 2459786 # => false
+  #         d === d.jd    # => true
+  #
+  # *   An object not comparable:
+  #
+  #         d === Object.new # => nil
+  #
+  def ===: (Date other) -> bool
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - d >> n -> new_date
+  # -->
+  # Returns a new Date object representing the date `n` months later; `n` should
+  # be a numeric:
+  #
+  #     (Date.new(2001, 2, 3) >> 1).to_s  # => "2001-03-03"
+  #     (Date.new(2001, 2, 3) >> -2).to_s # => "2000-12-03"
+  #
+  # When the same day does not exist for the new month, the last day of that month
+  # is used instead:
+  #
+  #     (Date.new(2001, 1, 31) >> 1).to_s  # => "2001-02-28"
+  #     (Date.new(2001, 1, 31) >> -4).to_s # => "2000-09-30"
+  #
+  # This results in the following, possibly unexpected, behaviors:
+  #
+  #     d0 = Date.new(2001, 1, 31)
+  #     d1 = d0 >> 1 # => #<Date: 2001-02-28>
+  #     d2 = d1 >> 1 # => #<Date: 2001-03-28>
+  #
+  #     d0 = Date.new(2001, 1, 31)
+  #     d1 = d0 >> 1  # => #<Date: 2001-02-28>
+  #     d2 = d1 >> -1 # => #<Date: 2001-01-28>
+  #
+  def >>: (Integer month) -> Date
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - d.ajd  ->  rational
+  # -->
+  # Returns the astronomical Julian day number.  This is a fractional number,
+  # which is not adjusted by the offset.
+  #
+  #     DateTime.new(2001,2,3,4,5,6,'+7').ajd     #=> (11769328217/4800)
+  #     DateTime.new(2001,2,2,14,5,6,'-7').ajd    #=> (11769328217/4800)
+  #
+  def ajd: () -> Rational
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - d.amjd  ->  rational
+  # -->
+  # Returns the astronomical modified Julian day number.  This is a fractional
+  # number, which is not adjusted by the offset.
+  #
+  #     DateTime.new(2001,2,3,4,5,6,'+7').amjd    #=> (249325817/4800)
+  #     DateTime.new(2001,2,2,14,5,6,'-7').amjd   #=> (249325817/4800)
+  #
+  def amjd: () -> Rational
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - asctime -> string
+  # -->
+  # Equivalent to #strftime with argument `'%a %b %e %T %Y'` (or its [shorthand
+  # form](rdoc-ref:strftime_formatting.rdoc@Shorthand+Conversion+Specifiers)
+  # `'%c'`):
+  #
+  #     Date.new(2001, 2, 3).asctime # => "Sat Feb  3 00:00:00 2001"
+  #
+  # See [asctime](https://linux.die.net/man/3/asctime).
+  #
+  def asctime: () -> String
+
+  # <!-- rdoc-file=ext/date/date_core.c -->
+  # Equivalent to #strftime with argument `'%a %b %e %T %Y'` (or its [shorthand
+  # form](rdoc-ref:strftime_formatting.rdoc@Shorthand+Conversion+Specifiers)
+  # `'%c'`):
+  #
+  #     Date.new(2001, 2, 3).asctime # => "Sat Feb  3 00:00:00 2001"
+  #
+  # See [asctime](https://linux.die.net/man/3/asctime).
+  #
+  def ctime: () -> String
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - cwday -> integer
+  # -->
+  # Returns the commercial-date weekday index for `self` (see Date.commercial); 1
+  # is Monday:
+  #
+  #     Date.new(2001, 2, 3).cwday # => 6
+  #
+  def cwday: () -> Integer
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - cweek -> integer
+  # -->
+  # Returns commercial-date week index for `self` (see Date.commercial):
+  #
+  #     Date.new(2001, 2, 3).cweek # => 5
+  #
+  def cweek: () -> Integer
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - cwyear -> integer
+  # -->
+  # Returns commercial-date year for `self` (see Date.commercial):
+  #
+  #     Date.new(2001, 2, 3).cwyear # => 2001
+  #     Date.new(2000, 1, 1).cwyear # => 1999
+  #
+  def cwyear: () -> Integer
+
+  # <!-- rdoc-file=ext/date/date_core.c -->
+  # Returns the day of the month in range (1..31):
+  #
+  #     Date.new(2001, 2, 3).mday # => 3
+  #
+  def day: () -> Integer
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - deconstruct_keys(array_of_names_or_nil) -> hash
+  # -->
+  # Returns a hash of the name/value pairs, to use in pattern matching. Possible
+  # keys are: `:year`, `:month`, `:day`, `:wday`, `:yday`.
+  #
+  # Possible usages:
+  #
+  #     d = Date.new(2022, 10, 5)
+  #
+  #     if d in wday: 3, day: ..7  # uses deconstruct_keys underneath
+  #       puts "first Wednesday of the month"
+  #     end
+  #     #=> prints "first Wednesday of the month"
+  #
+  #     case d
+  #     in year: ...2022
+  #       puts "too old"
+  #     in month: ..9
+  #       puts "quarter 1-3"
+  #     in wday: 1..5, month:
+  #       puts "working day in month #{month}"
+  #     end
+  #     #=> prints "working day in month 10"
+  #
+  # Note that deconstruction by pattern can also be combined with class check:
+  #
+  #     if d in Date(wday: 3, day: ..7)
+  #       puts "first Wednesday of the month"
+  #     end
+  #
+  def deconstruct_keys: (Array[Symbol]?) -> Hash[Symbol, Integer]
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - downto(min){|date| ... } -> self
+  # -->
+  # Equivalent to #step with arguments `min` and `-1`.
+  #
+  def downto: (Date min) { (Date) -> untyped } -> Date
+            | (Date min) -> Enumerator[Date, Date]
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - england -> new_date
+  # -->
+  # Equivalent to Date#new_start with argument Date::ENGLAND.
+  #
+  def england: () -> Date
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - friday? -> true or false
+  # -->
+  # Returns `true` if `self` is a Friday, `false` otherwise.
+  #
+  def friday?: () -> bool
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - gregorian -> new_date
+  # -->
+  # Equivalent to Date#new_start with argument Date::GREGORIAN.
+  #
+  def gregorian: () -> Date
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - gregorian? -> true or false
+  # -->
+  # Returns `true` if the date is on or after the date of calendar reform, `false`
+  # otherwise:
+  #
+  #     Date.new(1582, 10, 15).gregorian?       # => true
+  #     (Date.new(1582, 10, 15) - 1).gregorian? # => false
+  #
+  def gregorian?: () -> bool
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - httpdate -> string
+  # -->
+  # Equivalent to #strftime with argument `'%a, %d %b %Y %T GMT'`; see [Formats
+  # for Dates and Times](rdoc-ref:strftime_formatting.rdoc):
+  #
+  #     Date.new(2001, 2, 3).httpdate # => "Sat, 03 Feb 2001 00:00:00 GMT"
+  #
+  def httpdate: () -> String
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - inspect -> string
+  # -->
+  # Returns a string representation of `self`:
+  #
+  #     Date.new(2001, 2, 3).inspect
+  #     # => "#<Date: 2001-02-03 ((2451944j,0s,0n),+0s,2299161j)>"
+  #
+  def inspect: () -> String
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - iso8601    ->  string
+  # -->
+  # Equivalent to #strftime with argument `'%Y-%m-%d'` (or its [shorthand
+  # form](rdoc-ref:strftime_formatting.rdoc@Shorthand+Conversion+Specifiers)
+  # `'%F'`);
+  #
+  #     Date.new(2001, 2, 3).iso8601 # => "2001-02-03"
+  #
+  def iso8601: () -> String
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - italy -> new_date
+  # -->
+  # Equivalent to Date#new_start with argument Date::ITALY.
+  #
+  def italy: () -> Date
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - d.jd  ->  integer
+  # -->
+  # Returns the Julian day number.  This is a whole number, which is adjusted by
+  # the offset as the local time.
+  #
+  #     DateTime.new(2001,2,3,4,5,6,'+7').jd      #=> 2451944
+  #     DateTime.new(2001,2,3,4,5,6,'-7').jd      #=> 2451944
+  #
+  def jd: () -> Integer
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - jisx0301 -> string
+  # -->
+  # Returns a string representation of the date in `self` in JIS X 0301 format.
+  #
+  #     Date.new(2001, 2, 3).jisx0301 # => "H13.02.03"
+  #
+  def jisx0301: () -> String
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - julian -> new_date
+  # -->
+  # Equivalent to Date#new_start with argument Date::JULIAN.
+  #
+  def julian: () -> Date
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - d.julian? -> true or false
+  # -->
+  # Returns `true` if the date is before the date of calendar reform, `false`
+  # otherwise:
+  #
+  #     (Date.new(1582, 10, 15) - 1).julian? # => true
+  #     Date.new(1582, 10, 15).julian?       # => false
+  #
+  def julian?: () -> bool
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - ld -> integer
+  # -->
+  # Returns the [Lilian day number](https://en.wikipedia.org/wiki/Lilian_date),
+  # which is the number of days since the beginning of the Gregorian calendar,
+  # October 15, 1582.
+  #
+  #     Date.new(2001, 2, 3).ld # => 152784
+  #
+  def ld: () -> Integer
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - leap? -> true or false
+  # -->
+  # Returns `true` if the year is a leap year, `false` otherwise:
+  #
+  #     Date.new(2000).leap? # => true
+  #     Date.new(2001).leap? # => false
+  #
+  def leap?: () -> bool
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - mday -> integer
+  # -->
+  # Returns the day of the month in range (1..31):
+  #
+  #     Date.new(2001, 2, 3).mday # => 3
+  #
+  def mday: () -> Integer
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - d.mjd  ->  integer
+  # -->
+  # Returns the modified Julian day number.  This is a whole number, which is
+  # adjusted by the offset as the local time.
+  #
+  #     DateTime.new(2001,2,3,4,5,6,'+7').mjd     #=> 51943
+  #     DateTime.new(2001,2,3,4,5,6,'-7').mjd     #=> 51943
+  #
+  def mjd: () -> Integer
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - mon -> integer
+  # -->
+  # Returns the month in range (1..12):
+  #
+  #     Date.new(2001, 2, 3).mon # => 2
+  #
+  def mon: () -> Integer
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - monday? -> true or false
+  # -->
+  # Returns `true` if `self` is a Monday, `false` otherwise.
+  #
+  def monday?: () -> bool
+
+  # <!-- rdoc-file=ext/date/date_core.c -->
+  # Returns the month in range (1..12):
+  #
+  #     Date.new(2001, 2, 3).mon # => 2
+  #
+  def month: () -> Integer
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - new_start(start = Date::ITALY]) -> new_date
+  # -->
+  # Returns a copy of `self` with the given `start` value:
+  #
+  #     d0 = Date.new(2000, 2, 3)
+  #     d0.julian? # => false
+  #     d1 = d0.new_start(Date::JULIAN)
+  #     d1.julian? # => true
+  #
+  # See argument [start](rdoc-ref:date/calendars.rdoc@Argument+start).
+  #
+  def new_start: (?Integer start) -> Date
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - d.next -> new_date
+  # -->
+  # Returns a new Date object representing the following day:
+  #
+  #     d = Date.new(2001, 2, 3)
+  #     d.to_s      # => "2001-02-03"
+  #     d.next.to_s # => "2001-02-04"
+  #
+  def next: () -> Date
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - next_day(n = 1) -> new_date
+  # -->
+  # Equivalent to Date#+ with argument `n`.
+  #
+  def next_day: (?Integer day) -> Date
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - next_month(n = 1) -> new_date
+  # -->
+  # Equivalent to #>> with argument `n`.
+  #
+  def next_month: (?Integer month) -> Date
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - next_year(n = 1) -> new_date
+  # -->
+  # Equivalent to #>> with argument `n * 12`.
+  #
+  def next_year: (?Integer year) -> Date
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - prev_day(n = 1) -> new_date
+  # -->
+  # Equivalent to Date#- with argument `n`.
+  #
+  def prev_day: (?Integer day) -> Date
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - prev_month(n = 1) -> new_date
+  # -->
+  # Equivalent to #<< with argument `n`.
+  #
+  def prev_month: (?Integer month) -> Date
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - prev_year(n = 1) -> new_date
+  # -->
+  # Equivalent to #<< with argument `n * 12`.
+  #
+  def prev_year: (?Integer year) -> Date
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - rfc2822 -> string
+  # -->
+  # Equivalent to #strftime with argument `'%a, %-d %b %Y %T %z'`; see [Formats
+  # for Dates and Times](rdoc-ref:strftime_formatting.rdoc):
+  #
+  #     Date.new(2001, 2, 3).rfc2822 # => "Sat, 3 Feb 2001 00:00:00 +0000"
+  #
+  def rfc2822: () -> String
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - rfc3339 -> string
+  # -->
+  # Equivalent to #strftime with argument `'%FT%T%:z'`; see [Formats for Dates and
+  # Times](rdoc-ref:strftime_formatting.rdoc):
+  #
+  #     Date.new(2001, 2, 3).rfc3339 # => "2001-02-03T00:00:00+00:00"
+  #
+  def rfc3339: () -> String
+
+  # <!-- rdoc-file=ext/date/date_core.c -->
+  # Returns a new Date object with values parsed from `string`, which should be a
+  # valid [RFC 2822 date
+  # format](rdoc-ref:strftime_formatting.rdoc@RFC+2822+Format):
+  #
+  #     d = Date.new(2001, 2, 3)
+  #     s = d.rfc2822   # => "Sat, 3 Feb 2001 00:00:00 +0000"
+  #     Date.rfc2822(s) # => #<Date: 2001-02-03>
+  #
+  # See:
+  #
+  # *   Argument [start](rdoc-ref:date/calendars.rdoc@Argument+start).
+  # *   Argument [limit](rdoc-ref:Date@Argument+limit).
+  #
+  # Related: Date._rfc2822 (returns a hash).
+  #
+  def rfc822: () -> String
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - saturday? -> true or false
+  # -->
+  # Returns `true` if `self` is a Saturday, `false` otherwise.
+  #
+  def saturday?: () -> bool
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - start -> float
+  # -->
+  # Returns the Julian start date for calendar reform; if not an infinity, the
+  # returned value is suitable for passing to Date#jd:
+  #
+  #     d = Date.new(2001, 2, 3, Date::ITALY)
+  #     s = d.start     # => 2299161.0
+  #     Date.jd(s).to_s # => "1582-10-15"
+  #
+  #     d = Date.new(2001, 2, 3, Date::ENGLAND)
+  #     s = d.start     # => 2361222.0
+  #     Date.jd(s).to_s # => "1752-09-14"
+  #
+  #     Date.new(2001, 2, 3, Date::GREGORIAN).start # => -Infinity
+  #     Date.new(2001, 2, 3, Date::JULIAN).start    # => Infinity
+  #
+  # See argument [start](rdoc-ref:date/calendars.rdoc@Argument+start).
+  #
+  def start: () -> Float
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - step(limit, step = 1){|date| ... } -> self
+  # -->
+  # Calls the block with specified dates; returns `self`.
+  #
+  # *   The first `date` is `self`.
+  # *   Each successive `date` is `date + step`, where `step` is the numeric step
+  #     size in days.
+  # *   The last date is the last one that is before or equal to `limit`, which
+  #     should be a Date object.
+  #
+  # Example:
+  #
+  #     limit = Date.new(2001, 12, 31)
+  #     Date.new(2001).step(limit){|date| p date.to_s if date.mday == 31 }
+  #
+  # Output:
+  #
+  #     "2001-01-31"
+  #     "2001-03-31"
+  #     "2001-05-31"
+  #     "2001-07-31"
+  #     "2001-08-31"
+  #     "2001-10-31"
+  #     "2001-12-31"
+  #
+  # Returns an Enumerator if no block is given.
+  #
+  def step: (Date limit, ?Integer step) { (Date) -> untyped } -> Date
+          | (Date limit, ?Integer step) -> ::Enumerator[Date, Date]
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - strftime(format = '%F') -> string
+  # -->
+  # Returns a string representation of the date in `self`, formatted according the
+  # given `format`:
+  #
+  #     Date.new(2001, 2, 3).strftime # => "2001-02-03"
+  #
+  # For other formats, see [Formats for Dates and
+  # Times](rdoc-ref:strftime_formatting.rdoc).
+  #
+  def strftime: (?String format) -> String
+
+  # <!-- rdoc-file=ext/date/date_core.c -->
+  # Returns a new Date object representing the following day:
+  #
+  #     d = Date.new(2001, 2, 3)
+  #     d.to_s      # => "2001-02-03"
+  #     d.next.to_s # => "2001-02-04"
+  #
+  def succ: () -> Date
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - sunday? -> true or false
+  # -->
+  # Returns `true` if `self` is a Sunday, `false` otherwise.
+  #
+  def sunday?: () -> bool
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - thursday? -> true or false
+  # -->
+  # Returns `true` if `self` is a Thursday, `false` otherwise.
+  #
+  def thursday?: () -> bool
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - to_date -> self
+  # -->
+  # Returns `self`.
+  #
+  def to_date: () -> Date
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - d.to_datetime  -> datetime
+  # -->
+  # Returns a DateTime whose value is the same as `self`:
+  #
+  #     Date.new(2001, 2, 3).to_datetime # => #<DateTime: 2001-02-03T00:00:00+00:00>
+  #
+  def to_datetime: () -> DateTime
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - to_s -> string
+  # -->
+  # Returns a string representation of the date in `self` in [ISO 8601 extended
+  # date format](rdoc-ref:strftime_formatting.rdoc@ISO+8601+Format+Specifications)
+  # (`'%Y-%m-%d'`):
+  #
+  #     Date.new(2001, 2, 3).to_s # => "2001-02-03"
+  #
+  def to_s: () -> String
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - to_time -> time
+  # -->
+  # Returns a new Time object with the same value as `self`; if `self` is a Julian
+  # date, derives its Gregorian date for conversion to the Time object:
+  #
+  #     Date.new(2001, 2, 3).to_time               # => 2001-02-03 00:00:00 -0600
+  #     Date.new(2001, 2, 3, Date::JULIAN).to_time # => 2001-02-16 00:00:00 -0600
+  #
+  def to_time: () -> Time
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - tuesday? -> true or false
+  # -->
+  # Returns `true` if `self` is a Tuesday, `false` otherwise.
+  #
+  def tuesday?: () -> bool
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - upto(max){|date| ... } -> self
+  # -->
+  # Equivalent to #step with arguments `max` and `1`.
+  #
+  def upto: (Date max) { (Date) -> untyped } -> Date
+          | (Date max) -> ::Enumerator[Date, Date]
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - wday -> integer
+  # -->
+  # Returns the day of week in range (0..6); Sunday is 0:
+  #
+  #     Date.new(2001, 2, 3).wday # => 6
+  #
+  def wday: () -> Integer
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - wednesday? -> true or false
+  # -->
+  # Returns `true` if `self` is a Wednesday, `false` otherwise.
+  #
+  def wednesday?: () -> bool
+
+  # <!-- rdoc-file=ext/date/date_core.c -->
+  # Equivalent to #strftime with argument `'%Y-%m-%d'` (or its [shorthand
+  # form](rdoc-ref:strftime_formatting.rdoc@Shorthand+Conversion+Specifiers)
+  # `'%F'`);
+  #
+  #     Date.new(2001, 2, 3).iso8601 # => "2001-02-03"
+  #
+  def xmlschema: () -> String
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - yday -> integer
+  # -->
+  # Returns the day of the year, in range (1..366):
+  #
+  #     Date.new(2001, 2, 3).yday # => 34
+  #
+  def yday: () -> Integer
+
+  # <!--
+  #   rdoc-file=ext/date/date_core.c
+  #   - year -> integer
+  # -->
+  # Returns the year:
+  #
+  #     Date.new(2001, 2, 3).year    # => 2001
+  #     (Date.new(1, 1, 1) - 1).year # => 0
+  #
+  def year: () -> Integer
+end
+
+# <!-- rdoc-file=ext/date/date_core.c -->
+# An array of strings of abbreviated day names in English.  The first is "Sun".
+#
+Date::ABBR_DAYNAMES: Array[String]
+
+# <!-- rdoc-file=ext/date/date_core.c -->
+# An array of strings of abbreviated month names in English.  The first element
+# is nil.
+#
+Date::ABBR_MONTHNAMES: Array[String?]
+
+# <!-- rdoc-file=ext/date/date_core.c -->
+# An array of strings of the full names of days of the week in English. The
+# first is "Sunday".
+#
+Date::DAYNAMES: Array[String]
+
+# <!-- rdoc-file=ext/date/date_core.c -->
+# The Julian day number of the day of calendar reform for England and her
+# colonies.
+#
+Date::ENGLAND: Integer
+
+# <!-- rdoc-file=ext/date/date_core.c -->
+# The Julian day number of the day of calendar reform for the proleptic
+# Gregorian calendar.
+#
+Date::GREGORIAN: Integer
+
+# <!-- rdoc-file=ext/date/date_core.c -->
+# The Julian day number of the day of calendar reform for Italy and some
+# catholic countries.
+#
+Date::ITALY: Integer
+
+# <!-- rdoc-file=ext/date/date_core.c -->
+# The Julian day number of the day of calendar reform for the proleptic Julian
+# calendar.
+#
+Date::JULIAN: Integer
+
+# <!-- rdoc-file=ext/date/date_core.c -->
+# An array of strings of full month names in English.  The first element is nil.
+#
+Date::MONTHNAMES: Array[String?]