rbs 4.1.0.pre.2-java

data/core/kernel.rbs

@@ -0,0 +1,3172 @@
+# <!-- rdoc-file=object.c -->
+# The Kernel module is included by class Object, so its methods are available in
+# every Ruby object.
+#
+# The Kernel instance methods are documented in class Object while the module
+# methods are documented here.  These methods are called without a receiver and
+# thus can be called in functional form:
+#
+#     sprintf "%.1f", 1.234 #=> "1.2"
+#
+# ## What's Here
+#
+# Module Kernel provides methods that are useful for:
+#
+# *   [Converting](rdoc-ref:Kernel@Converting)
+# *   [Querying](rdoc-ref:Kernel@Querying)
+# *   [Exiting](rdoc-ref:Kernel@Exiting)
+# *   [Exceptions](rdoc-ref:Kernel@Exceptions)
+# *   [IO](rdoc-ref:Kernel@IO)
+# *   [Procs](rdoc-ref:Kernel@Procs)
+# *   [Tracing](rdoc-ref:Kernel@Tracing)
+# *   [Subprocesses](rdoc-ref:Kernel@Subprocesses)
+# *   [Loading](rdoc-ref:Kernel@Loading)
+# *   [Yielding](rdoc-ref:Kernel@Yielding)
+# *   [Random Values](rdoc-ref:Kernel@Random+Values)
+# *   [Other](rdoc-ref:Kernel@Other)
+#
+# ### Converting
+#
+# *   #Array: Returns an Array based on the given argument.
+# *   #Complex: Returns a Complex based on the given arguments.
+# *   #Float: Returns a Float based on the given arguments.
+# *   #Hash: Returns a Hash based on the given argument.
+# *   #Integer: Returns an Integer based on the given arguments.
+# *   #Rational: Returns a Rational based on the given arguments.
+# *   #String: Returns a String based on the given argument.
+#
+# ### Querying
+#
+# *   #__callee__: Returns the called name of the current method as a symbol.
+# *   #__dir__: Returns the path to the directory from which the current method
+#     is called.
+# *   #__method__: Returns the name of the current method as a symbol.
+# *   #autoload?: Returns the file to be loaded when the given module is
+#     referenced.
+# *   #binding: Returns a Binding for the context at the point of call.
+# *   #block_given?: Returns `true` if a block was passed to the calling method.
+# *   #caller: Returns the current execution stack as an array of strings.
+# *   #caller_locations: Returns the current execution stack as an array of
+#     Thread::Backtrace::Location objects.
+# *   #class: Returns the class of `self`.
+# *   #frozen?: Returns whether `self` is frozen.
+# *   #global_variables: Returns an array of global variables as symbols.
+# *   #local_variables: Returns an array of local variables as symbols.
+# *   #test: Performs specified tests on the given single file or pair of files.
+#
+# ### Exiting
+#
+# *   #abort: Exits the current process after printing the given arguments.
+# *   #at_exit: Executes the given block when the process exits.
+# *   #exit: Exits the current process after calling any registered `at_exit`
+#     handlers.
+# *   #exit!: Exits the current process without calling any registered `at_exit`
+#     handlers.
+#
+# ### Exceptions
+#
+# *   #catch: Executes the given block, possibly catching a thrown object.
+# *   #raise (aliased as #fail): Raises an exception based on the given
+#     arguments.
+# *   #throw: Returns from the active catch block waiting for the given tag.
+#
+# ### IO
+#
+# *   ::pp: Prints the given objects in pretty form.
+# *   #gets: Returns and assigns to <code>$_</code> the next line from the
+#     current input.
+# *   #open: Creates an IO object connected to the given stream, file, or
+#     subprocess.
+# *   #p:  Prints the given objects' inspect output to the standard output.
+# *   #print: Prints the given objects to standard output without a newline.
+# *   #printf: Prints the string resulting from applying the given format string
+#     to any additional arguments.
+# *   #putc: Equivalent to <code>$stdout.putc(object)</code> for the given
+#     object.
+# *   #puts: Equivalent to <code>$stdout.puts(*objects)</code> for the given
+#     objects.
+# *   #readline: Similar to #gets, but raises an exception at the end of file.
+# *   #readlines: Returns an array of the remaining lines from the current
+#     input.
+# *   #select: Same as IO.select.
+#
+# ### Procs
+#
+# *   #lambda: Returns a lambda proc for the given block.
+# *   #proc: Returns a new Proc; equivalent to Proc.new.
+#
+# ### Tracing
+#
+# *   #set_trace_func: Sets the given proc as the handler for tracing, or
+#     disables tracing if given `nil`.
+# *   #trace_var: Starts tracing assignments to the given global variable.
+# *   #untrace_var: Disables tracing of assignments to the given global
+#     variable.
+#
+# ### Subprocesses
+#
+# *   [`command`](rdoc-ref:Kernel#`): Returns the standard output of running
+#     `command` in a subshell.
+# *   #exec: Replaces current process with a new process.
+# *   #fork: Forks the current process into two processes.
+# *   #spawn: Executes the given command and returns its pid without waiting for
+#     completion.
+# *   #system: Executes the given command in a subshell.
+#
+# ### Loading
+#
+# *   #autoload: Registers the given file to be loaded when the given constant
+#     is first referenced.
+# *   #load: Loads the given Ruby file.
+# *   #require: Loads the given Ruby file unless it has already been loaded.
+# *   #require_relative: Loads the Ruby file path relative to the calling file,
+#     unless it has already been loaded.
+#
+# ### Yielding
+#
+# *   #tap: Yields `self` to the given block; returns `self`.
+# *   #then (aliased as #yield_self): Yields `self` to the block and returns the
+#     result of the block.
+#
+# ### Random Values
+#
+# *   #rand: Returns a pseudo-random floating point number strictly between 0.0
+#     and 1.0.
+# *   #srand: Seeds the pseudo-random number generator with the given number.
+#
+# ### Other
+#
+# *   #eval: Evaluates the given string as Ruby code.
+# *   #loop: Repeatedly executes the given block.
+# *   #sleep: Suspends the current thread for the given number of seconds.
+# *   #sprintf (aliased as #format): Returns the string resulting from applying
+#     the given format string to any additional arguments.
+# *   #syscall: Runs an operating system call.
+# *   #trap: Specifies the handling of system signals.
+# *   #warn: Issue a warning based on the given messages and options.
+#
+%a{annotate:rdoc:source:from=object.c}
+module Kernel : BasicObject
+  # <!--
+  #   rdoc-file=vm_backtrace.c
+  #   - caller(start=1, length=nil)  -> array or nil
+  #   - caller(range)                -> array or nil
+  # -->
+  # Returns the current execution stack---an array containing strings in the form
+  # <code>file:line</code> or <code>file:line: in `method'</code>.
+  #
+  # The optional *start* parameter determines the number of initial stack entries
+  # to omit from the top of the stack.
+  #
+  # A second optional `length` parameter can be used to limit how many entries are
+  # returned from the stack.
+  #
+  # Returns `nil` if *start* is greater than the size of current execution stack.
+  #
+  # Optionally you can pass a range, which will return an array containing the
+  # entries within the specified range.
+  #
+  #     def a(skip)
+  #       caller(skip)
+  #     end
+  #     def b(skip)
+  #       a(skip)
+  #     end
+  #     def c(skip)
+  #       b(skip)
+  #     end
+  #     c(0)   #=> ["prog:2:in `a'", "prog:5:in `b'", "prog:8:in `c'", "prog:10:in `<main>'"]
+  #     c(1)   #=> ["prog:5:in `b'", "prog:8:in `c'", "prog:11:in `<main>'"]
+  #     c(2)   #=> ["prog:8:in `c'", "prog:12:in `<main>'"]
+  #     c(3)   #=> ["prog:13:in `<main>'"]
+  #     c(4)   #=> []
+  #     c(5)   #=> nil
+  #
+  def self?.caller: () -> Array[String]
+                  | (int start, ?int? length) -> Array[String]?
+                  | (range[int] range) -> Array[String]?
+
+  # <!--
+  #   rdoc-file=vm_backtrace.c
+  #   - caller_locations(start=1, length=nil)    -> array or nil
+  #   - caller_locations(range)                  -> array or nil
+  # -->
+  # Returns the current execution stack---an array containing backtrace location
+  # objects.
+  #
+  # See Thread::Backtrace::Location for more information.
+  #
+  # The optional *start* parameter determines the number of initial stack entries
+  # to omit from the top of the stack.
+  #
+  # A second optional `length` parameter can be used to limit how many entries are
+  # returned from the stack.
+  #
+  # Returns `nil` if *start* is greater than the size of current execution stack.
+  #
+  # Optionally you can pass a range, which will return an array containing the
+  # entries within the specified range.
+  #
+  def self?.caller_locations: () -> Array[Thread::Backtrace::Location]
+                            | (int start, ?int? length) -> Array[Thread::Backtrace::Location]?
+                            | (range[int] range) -> Array[Thread::Backtrace::Location]?
+
+  # <!--
+  #   rdoc-file=vm_eval.c
+  #   - catch([tag]) {|tag| block }  -> obj
+  # -->
+  # `catch` executes its block. If `throw` is not called, the block executes
+  # normally, and `catch` returns the value of the last expression evaluated.
+  #
+  #     catch(1) { 123 }            # => 123
+  #
+  # If <code>throw(tag2, val)</code> is called, Ruby searches up its stack for a
+  # `catch` block whose `tag` has the same `object_id` as *tag2*. When found, the
+  # block stops executing and returns *val* (or `nil` if no second argument was
+  # given to `throw`).
+  #
+  #     catch(1) { throw(1, 456) }  # => 456
+  #     catch(1) { throw(1) }       # => nil
+  #
+  # When `tag` is passed as the first argument, `catch` yields it as the parameter
+  # of the block.
+  #
+  #     catch(1) {|x| x + 2 }       # => 3
+  #
+  # When no `tag` is given, `catch` yields a new unique object (as from
+  # <code>Object.new</code>) as the block parameter. This object can then be used
+  # as the argument to `throw`, and will match the correct `catch` block.
+  #
+  #     catch do |obj_A|
+  #       catch do |obj_B|
+  #         throw(obj_B, 123)
+  #         puts "This puts is not reached"
+  #       end
+  #
+  #       puts "This puts is displayed"
+  #       456
+  #     end
+  #
+  #     # => 456
+  #
+  #     catch do |obj_A|
+  #       catch do |obj_B|
+  #         throw(obj_A, 123)
+  #         puts "This puts is still not reached"
+  #       end
+  #
+  #       puts "Now this puts is also not reached"
+  #       456
+  #     end
+  #
+  #     # => 123
+  #
+  def self?.catch: [T] (T tag) { (T tag) -> untyped } -> untyped
+                 | () { (Object tag) -> untyped } -> untyped
+
+  # <!--
+  #   rdoc-file=kernel.rb
+  #   - obj.class    -> class
+  # -->
+  # Returns the class of *obj*. This method must always be called with an explicit
+  # receiver, as #class is also a reserved word in Ruby.
+  #
+  #     1.class      #=> Integer
+  #     self.class   #=> Object
+  #
+  def class: () -> Class
+
+  # <!--
+  #   rdoc-file=vm_eval.c
+  #   - eval(string [, binding [, filename [,lineno]]])  -> obj
+  # -->
+  # Evaluates the Ruby expression(s) in *string*. If *binding* is given, which
+  # must be a Binding object, the evaluation is performed in its context. If the
+  # optional *filename* and *lineno* parameters are present, they will be used
+  # when reporting syntax errors.
+  #
+  #     def get_binding(str)
+  #       return binding
+  #     end
+  #     str = "hello"
+  #     eval "str + ' Fred'"                      #=> "hello Fred"
+  #     eval "str + ' Fred'", get_binding("bye")  #=> "bye Fred"
+  #
+  def self?.eval: (string src, ?Binding? scope, ?string filename, ?int lineno) -> untyped
+
+  # <!--
+  #   rdoc-file=vm_eval.c
+  #   - block_given?   -> true or false
+  # -->
+  # Returns `true` if `yield` would execute a block in the current context. The
+  # <code>iterator?</code> form is mildly deprecated.
+  #
+  #     def try
+  #       if block_given?
+  #         yield
+  #       else
+  #         "no block"
+  #       end
+  #     end
+  #     try                  #=> "no block"
+  #     try { "hello" }      #=> "hello"
+  #     try do "hello" end   #=> "hello"
+  #
+  def self?.block_given?: () -> bool
+
+  alias self.iterator? self.block_given?
+
+  # <!--
+  #   rdoc-file=vm_eval.c
+  #   - iterator?      -> true or false
+  # -->
+  # Deprecated.  Use block_given? instead.
+  #
+  alias iterator? block_given?
+
+  # <!--
+  #   rdoc-file=vm_eval.c
+  #   - local_variables    -> array
+  # -->
+  # Returns the names of the current local variables.
+  #
+  #     fred = 1
+  #     for i in 1..10
+  #        # ...
+  #     end
+  #     local_variables   #=> [:fred, :i]
+  #
+  def self?.local_variables: () -> Array[Symbol]
+
+  # <!--
+  #   rdoc-file=random.c
+  #   - srand(number = Random.new_seed) -> old_seed
+  # -->
+  # Seeds the system pseudo-random number generator, with `number`. The previous
+  # seed value is returned.
+  #
+  # If `number` is omitted, seeds the generator using a source of entropy provided
+  # by the operating system, if available (/dev/urandom on Unix systems or the RSA
+  # cryptographic provider on Windows), which is then combined with the time, the
+  # process id, and a sequence number.
+  #
+  # srand may be used to ensure repeatable sequences of pseudo-random numbers
+  # between different runs of the program. By setting the seed to a known value,
+  # programs can be made deterministic during testing.
+  #
+  #     srand 1234               # => 268519324636777531569100071560086917274
+  #     [ rand, rand ]           # => [0.1915194503788923, 0.6221087710398319]
+  #     [ rand(10), rand(1000) ] # => [4, 664]
+  #     srand 1234               # => 1234
+  #     [ rand, rand ]           # => [0.1915194503788923, 0.6221087710398319]
+  #
+  def self?.srand: (?int number) -> Integer
+
+  # <!--
+  #   rdoc-file=process.c
+  #   - Process.fork { ... } -> integer or nil
+  #   - Process.fork -> integer or nil
+  # -->
+  # Creates a child process.
+  #
+  # With a block given, runs the block in the child process; on block exit, the
+  # child terminates with a status of zero:
+  #
+  #     puts "Before the fork: #{Process.pid}"
+  #     fork do
+  #       puts "In the child process: #{Process.pid}"
+  #     end                   # => 382141
+  #     puts "After the fork: #{Process.pid}"
+  #
+  # Output:
+  #
+  #     Before the fork: 420496
+  #     After the fork: 420496
+  #     In the child process: 420520
+  #
+  # With no block given, the `fork` call returns twice:
+  #
+  # *   Once in the parent process, returning the pid of the child process.
+  # *   Once in the child process, returning `nil`.
+  #
+  # Example:
+  #
+  #     puts "This is the first line before the fork (pid #{Process.pid})"
+  #     puts fork
+  #     puts "This is the second line after the fork (pid #{Process.pid})"
+  #
+  # Output:
+  #
+  #     This is the first line before the fork (pid 420199)
+  #     420223
+  #     This is the second line after the fork (pid 420199)
+  #
+  #     This is the second line after the fork (pid 420223)
+  #
+  # In either case, the child process may exit using Kernel.exit! to avoid the
+  # call to Kernel#at_exit.
+  #
+  # To avoid zombie processes, the parent process should call either:
+  #
+  # *   Process.wait, to collect the termination statuses of its children.
+  # *   Process.detach, to register disinterest in their status.
+  #
+  # The thread calling `fork` is the only thread in the created child process;
+  # `fork` doesn't copy other threads.
+  #
+  # Note that method `fork` is available on some platforms, but not on others:
+  #
+  #     Process.respond_to?(:fork) # => true # Would be false on some.
+  #
+  # If not, you may use ::spawn instead of `fork`.
+  #
+  def self?.fork: () -> Integer?
+                | () { () -> void } -> Integer
+
+  # <!--
+  #   rdoc-file=object.c
+  #   - Array(object) -> object or new_array
+  # -->
+  # Returns an array converted from `object`.
+  #
+  # Tries to convert `object` to an array using `to_ary` first and `to_a` second:
+  #
+  #     Array([0, 1, 2])        # => [0, 1, 2]
+  #     Array({foo: 0, bar: 1}) # => [[:foo, 0], [:bar, 1]]
+  #     Array(0..4)             # => [0, 1, 2, 3, 4]
+  #
+  # Returns `object` in an array, <code>[object]</code>, if `object` cannot be
+  # converted:
+  #
+  #     Array(:foo)             # => [:foo]
+  #
+  def self?.Array: (nil) -> []
+                 | [T] (array[T] | _ToA[T] array_like) -> Array[T]
+                 | [T] (T ele) -> [T]
+
+  # <!--
+  #   rdoc-file=complex.c
+  #   - Complex(real, imag = 0, exception: true) -> complex or nil
+  #   - Complex(s, exception: true) -> complex or nil
+  # -->
+  # Returns a new Complex object if the arguments are valid; otherwise raises an
+  # exception if `exception` is `true`; otherwise returns `nil`.
+  #
+  # With Numeric arguments `real` and `imag`, returns <code>Complex.rect(real,
+  # imag)</code> if the arguments are valid.
+  #
+  # With string argument `s`, returns a new Complex object if the argument is
+  # valid; the string may have:
+  #
+  # *   One or two numeric substrings, each of which specifies a Complex, Float,
+  #     Integer, Numeric, or Rational value, specifying [rectangular
+  #     coordinates](rdoc-ref:Complex@Rectangular+Coordinates):
+  #
+  #     *   Sign-separated real and imaginary numeric substrings (with trailing
+  #         character <code>'i'</code>):
+  #
+  #             Complex('1+2i')  # => (1+2i)
+  #             Complex('+1+2i') # => (1+2i)
+  #             Complex('+1-2i') # => (1-2i)
+  #             Complex('-1+2i') # => (-1+2i)
+  #             Complex('-1-2i') # => (-1-2i)
+  #
+  #     *   Real-only numeric string (without trailing character
+  #         <code>'i'</code>):
+  #
+  #             Complex('1')  # => (1+0i)
+  #             Complex('+1') # => (1+0i)
+  #             Complex('-1') # => (-1+0i)
+  #
+  #     *   Imaginary-only numeric string (with trailing character
+  #         <code>'i'</code>):
+  #
+  #             Complex('1i')  # => (0+1i)
+  #             Complex('+1i') # => (0+1i)
+  #             Complex('-1i') # => (0-1i)
+  #
+  # *   At-sign separated real and imaginary rational substrings, each of which
+  #     specifies a Rational value, specifying [polar
+  #     coordinates](rdoc-ref:Complex@Polar+Coordinates):
+  #
+  #         Complex('1/2@3/4')   # => (0.36584443443691045+0.34081938001166706i)
+  #         Complex('+1/2@+3/4') # => (0.36584443443691045+0.34081938001166706i)
+  #         Complex('+1/2@-3/4') # => (0.36584443443691045-0.34081938001166706i)
+  #         Complex('-1/2@+3/4') # => (-0.36584443443691045-0.34081938001166706i)
+  #         Complex('-1/2@-3/4') # => (-0.36584443443691045+0.34081938001166706i)
+  #
+  def self?.Complex: (_ToC complex_like, ?exception: true) -> Complex
+                   | (_ToC complex_like, exception: bool) -> Complex?
+                   | (Numeric | String real, ?Numeric | String imag, ?exception: true) -> Complex
+                   | (Numeric | String real, ?Numeric | String imag, exception: bool) -> Complex?
+                   | (untyped, ?untyped, ?exception: bool) -> Complex?
+
+  # <!--
+  #   rdoc-file=kernel.rb
+  #   - Float(arg, exception: true)    -> float or nil
+  # -->
+  # Returns *arg* converted to a float. Numeric types are converted directly, and
+  # with exception to String and `nil`, the rest are converted using
+  # *arg*<code>.to_f</code>. Converting a String with invalid characters will
+  # result in an ArgumentError. Converting `nil` generates a TypeError. Exceptions
+  # can be suppressed by passing <code>exception: false</code>.
+  #
+  #     Float(1)                 #=> 1.0
+  #     Float("123.456")         #=> 123.456
+  #     Float("123.0_badstring") #=> ArgumentError: invalid value for Float(): "123.0_badstring"
+  #     Float(nil)               #=> TypeError: can't convert nil into Float
+  #     Float("123.0_badstring", exception: false)  #=> nil
+  #
+  def self?.Float: (_ToF float_like, ?exception: true) -> Float
+                 | (_ToF float_like, exception: bool) -> Float?
+                 | (untyped, ?exception: bool) -> Float?
+
+  # <!--
+  #   rdoc-file=object.c
+  #   - Hash(object) -> object or new_hash
+  # -->
+  # Returns a hash converted from `object`.
+  #
+  # *   If `object` is:
+  #
+  #     *   A hash, returns `object`.
+  #     *   An empty array or `nil`, returns an empty hash.
+  #
+  # *   Otherwise, if <code>object.to_hash</code> returns a hash, returns that
+  #     hash.
+  # *   Otherwise, returns TypeError.
+  #
+  # Examples:
+  #
+  #     Hash({foo: 0, bar: 1}) # => {:foo=>0, :bar=>1}
+  #     Hash(nil)              # => {}
+  #     Hash([])               # => {}
+  #
+  def self?.Hash: [K, V] (nil | [] _empty) -> Hash[K, V]
+                | [K, V] (hash[K, V] hash_like) -> Hash[K, V]
+
+  # <!--
+  #   rdoc-file=kernel.rb
+  #   - Integer(object, base = 0, exception: true) -> integer or nil
+  # -->
+  # Returns an integer converted from `object`.
+  #
+  # Tries to convert `object` to an integer using `to_int` first and `to_i`
+  # second; see below for exceptions.
+  #
+  # With a non-zero `base`, `object` must be a string or convertible to a string.
+  #
+  # #### Numeric objects
+  #
+  # With an integer argument `object` given, returns `object`:
+  #
+  #     Integer(1)                # => 1
+  #     Integer(-1)               # => -1
+  #
+  # With a floating-point argument `object` given, returns `object` truncated to
+  # an integer:
+  #
+  #     Integer(1.9)              # => 1  # Rounds toward zero.
+  #     Integer(-1.9)             # => -1 # Rounds toward zero.
+  #
+  # #### String objects
+  #
+  # With a string argument `object` and zero `base` given, returns `object`
+  # converted to an integer in base 10:
+  #
+  #     Integer('100')    # => 100
+  #     Integer('-100')   # => -100
+  #
+  # With `base` zero, string `object` may contain leading characters to specify
+  # the actual base (radix indicator):
+  #
+  #     Integer('0100')  # => 64  # Leading '0' specifies base 8.
+  #     Integer('0b100') # => 4   # Leading '0b' specifies base 2.
+  #     Integer('0x100') # => 256 # Leading '0x' specifies base 16.
+  #
+  # With a positive `base` (in range 2..36) given, returns `object` converted to
+  # an integer in the given base:
+  #
+  #     Integer('100', 2)   # => 4
+  #     Integer('100', 8)   # => 64
+  #     Integer('-100', 16) # => -256
+  #
+  # With a negative `base` (in range -36..-2) given, returns `object` converted to
+  # the radix indicator if it exists or `base`:
+  #
+  #     Integer('0x100', -2)   # => 256
+  #     Integer('100', -2)     # => 4
+  #     Integer('0b100', -8)   # => 4
+  #     Integer('100', -8)     # => 64
+  #     Integer('0o100', -10)  # => 64
+  #     Integer('100', -10)    # => 100
+  #
+  # `base` -1 is equivalent to the -10 case.
+  #
+  # When converting strings, surrounding whitespace and embedded underscores are
+  # allowed and ignored:
+  #
+  #     Integer(' 100 ')      # => 100
+  #     Integer('-1_0_0', 16) # => -256
+  #
+  # #### Other classes
+  #
+  # Examples with `object` of various other classes:
+  #
+  #     Integer(Rational(9, 10)) # => 0  # Rounds toward zero.
+  #     Integer(Complex(2, 0))   # => 2  # Imaginary part must be zero.
+  #     Integer(Time.now)        # => 1650974042
+  #
+  # #### Keywords
+  #
+  # With the optional keyword argument `exception` given as `true` (the default):
+  #
+  # *   Raises TypeError if `object` does not respond to `to_int` or `to_i`.
+  # *   Raises TypeError if `object` is `nil`.
+  # *   Raises ArgumentError if `object` is an invalid string.
+  #
+  # With `exception` given as `false`, an exception of any kind is suppressed and
+  # `nil` is returned.
+  #
+  def self?.Integer: (int | _ToI int_like, ?exception: true) -> Integer
+                   | (int | _ToI int_like, exception: bool) -> Integer?
+                   | (string str, int base, ?exception: true) -> Integer
+                   | (string str, int base, exception: bool) -> Integer?
+                   | (untyped, ?untyped, ?exception: bool) -> Integer?
+
+  # <!--
+  #   rdoc-file=rational.c
+  #   - Rational(x, y, exception: true)  ->  rational or nil
+  #   - Rational(arg, exception: true)   ->  rational or nil
+  # -->
+  # Returns <code>x/y</code> or `arg` as a Rational.
+  #
+  #     Rational(2, 3)   #=> (2/3)
+  #     Rational(5)      #=> (5/1)
+  #     Rational(0.5)    #=> (1/2)
+  #     Rational(0.3)    #=> (5404319552844595/18014398509481984)
+  #
+  #     Rational("2/3")  #=> (2/3)
+  #     Rational("0.3")  #=> (3/10)
+  #
+  #     Rational("10 cents")  #=> ArgumentError
+  #     Rational(nil)         #=> TypeError
+  #     Rational(1, nil)      #=> TypeError
+  #
+  #     Rational("10 cents", exception: false)  #=> nil
+  #
+  # Syntax of the string form:
+  #
+  #     string form = extra spaces , rational , extra spaces ;
+  #     rational = [ sign ] , unsigned rational ;
+  #     unsigned rational = numerator | numerator , "/" , denominator ;
+  #     numerator = integer part | fractional part | integer part , fractional part ;
+  #     denominator = digits ;
+  #     integer part = digits ;
+  #     fractional part = "." , digits , [ ( "e" | "E" ) , [ sign ] , digits ] ;
+  #     sign = "-" | "+" ;
+  #     digits = digit , { digit | "_" , digit } ;
+  #     digit = "0" | "1" | "2" | "3" | "4" | "5" | "6" | "7" | "8" | "9" ;
+  #     extra spaces = ? \s* ? ;
+  #
+  # See also String#to_r.
+  #
+  def self?.Rational: (int | _ToR rational_like, ?exception: true) -> Rational
+                    | (int | _ToR rational_like, exception: bool) -> Rational?
+                    | (int | _ToR numer, ?int | _ToR denom, ?exception: true) -> Rational
+                    | (int | _ToR numer, ?int | _ToR denom, exception: bool) -> Rational?
+                    | [T] (Numeric & _RationalDiv[T] numer, Numeric denom, ?exception: bool) -> T
+                    | [T < Numeric] (T value, 1, ?exception: bool) -> T
+                    | (untyped, ?untyped, ?exception: bool) -> Rational?
+
+  interface _RationalDiv[T]
+    def /: (Numeric) -> T
+  end
+
+  # <!--
+  #   rdoc-file=object.c
+  #   - String(object) -> object or new_string
+  # -->
+  # Returns a string converted from `object`.
+  #
+  # Tries to convert `object` to a string using `to_str` first and `to_s` second:
+  #
+  #     String([0, 1, 2])        # => "[0, 1, 2]"
+  #     String(0..5)             # => "0..5"
+  #     String({foo: 0, bar: 1}) # => "{foo: 0, bar: 1}"
+  #
+  # Raises `TypeError` if `object` cannot be converted to a string.
+  #
+  def self?.String: (string | _ToS string_like) -> String
+
+  # <!--
+  #   rdoc-file=eval.c
+  #   - __callee__         -> symbol
+  # -->
+  # Returns the called name of the current method as a Symbol. If called outside
+  # of a method, it returns `nil`.
+  #
+  def self?.__callee__: () -> Symbol?
+
+  # <!--
+  #   rdoc-file=eval.c
+  #   - __dir__         -> string
+  # -->
+  # Returns the canonicalized absolute path of the directory of the file from
+  # which this method is called. It means symlinks in the path is resolved. If
+  # `__FILE__` is `nil`, it returns `nil`. The return value equals to
+  # <code>File.dirname(File.realpath(__FILE__))</code>.
+  #
+  def self?.__dir__: () -> String?
+
+  # <!--
+  #   rdoc-file=eval.c
+  #   - __method__         -> symbol
+  # -->
+  # Returns the name at the definition of the current method as a Symbol. If
+  # called outside of a method, it returns `nil`.
+  #
+  def self?.__method__: () -> Symbol?
+
+  # <!--
+  #   rdoc-file=io.c
+  #   - `command` -> string
+  # -->
+  # Returns the <code>$stdout</code> output from running `command` in a subshell;
+  # sets global variable <code>$?</code> to the process status.
+  #
+  # This method has potential security vulnerabilities if called with untrusted
+  # input; see [Command Injection](rdoc-ref:security/command_injection.rdoc).
+  #
+  # Examples:
+  #
+  #     $ `date`                 # => "Wed Apr  9 08:56:30 CDT 2003\n"
+  #     $ `echo oops && exit 99` # => "oops\n"
+  #     $ $?                     # => #<Process::Status: pid 17088 exit 99>
+  #     $ $?.exitstatus          # => 99
+  #
+  # The built-in syntax <code>%x{...}</code> uses this method.
+  #
+  def self?.`: (String arg0) -> String
+
+  # <!--
+  #   rdoc-file=process.c
+  #   - abort
+  #   - Process.abort(msg = nil)
+  # -->
+  # Terminates execution immediately, effectively by calling
+  # <code>Kernel.exit(false)</code>.
+  #
+  # If string argument `msg` is given, it is written to STDERR prior to
+  # termination; otherwise, if an exception was raised, prints its message and
+  # backtrace.
+  #
+  def self?.abort: (?string msg) -> bot
+
+  # <!--
+  #   rdoc-file=eval_jump.c
+  #   - at_exit { block } -> proc
+  # -->
+  # Converts *block* to a `Proc` object (and therefore binds it at the point of
+  # call) and registers it for execution when the program exits. If multiple
+  # handlers are registered, they are executed in reverse order of registration.
+  #
+  #     def do_at_exit(str1)
+  #       at_exit { print str1 }
+  #     end
+  #     at_exit { puts "cruel world" }
+  #     do_at_exit("goodbye ")
+  #     exit
+  #
+  # <em>produces:</em>
+  #
+  #     goodbye cruel world
+  #
+  def self?.at_exit: () { () -> void } -> Proc
+
+  # <!--
+  #   rdoc-file=load.c
+  #   - autoload(const, filename)   -> nil
+  # -->
+  # Registers *filename* to be loaded (using Kernel::require) the first time that
+  # *const* (which may be a String or a symbol) is accessed.
+  #
+  #     autoload(:MyModule, "/usr/local/lib/modules/my_module.rb")
+  #
+  # If *const* is defined as autoload, the file name to be loaded is replaced with
+  # *filename*.  If *const* is defined but not as autoload, does nothing.
+  #
+  # Files that are currently being loaded must not be registered for autoload.
+  #
+  def self?.autoload: (interned const, path filename) -> nil
+
+  # <!--
+  #   rdoc-file=load.c
+  #   - autoload?(name, inherit=true)   -> String or nil
+  # -->
+  # Returns *filename* to be loaded if *name* is registered as `autoload` in the
+  # current namespace or one of its ancestors.
+  #
+  #     autoload(:B, "b")
+  #     autoload?(:B)            #=> "b"
+  #
+  #     module C
+  #       autoload(:D, "d")
+  #       autoload?(:D)          #=> "d"
+  #       autoload?(:B)          #=> nil
+  #     end
+  #
+  #     class E
+  #       autoload(:F, "f")
+  #       autoload?(:F)          #=> "f"
+  #       autoload?(:B)          #=> "b"
+  #     end
+  #
+  def self?.autoload?: (interned name, ?boolish inherit) -> String?
+
+  # <!--
+  #   rdoc-file=proc.c
+  #   - binding -> a_binding
+  # -->
+  # Returns a Binding object, describing the variable and method bindings at the
+  # point of call. This object can be used when calling Binding#eval to execute
+  # the evaluated command in this environment, or extracting its local variables.
+  #
+  #     class User
+  #       def initialize(name, position)
+  #         @name = name
+  #         @position = position
+  #       end
+  #
+  #       def get_binding
+  #         binding
+  #       end
+  #     end
+  #
+  #     user = User.new('Joan', 'manager')
+  #     template = '{name: @name, position: @position}'
+  #
+  #     # evaluate template in context of the object
+  #     eval(template, user.get_binding)
+  #     #=> {:name=>"Joan", :position=>"manager"}
+  #
+  # Binding#local_variable_get can be used to access the variables whose names are
+  # reserved Ruby keywords:
+  #
+  #     # This is valid parameter declaration, but `if` parameter can't
+  #     # be accessed by name, because it is a reserved word.
+  #     def validate(field, validation, if: nil)
+  #       condition = binding.local_variable_get('if')
+  #       return unless condition
+  #
+  #       # ...Some implementation ...
+  #     end
+  #
+  #     validate(:name, :empty?, if: false) # skips validation
+  #     validate(:name, :empty?, if: true) # performs validation
+  #
+  def self?.binding: () -> Binding
+
+  # <!--
+  #   rdoc-file=process.c
+  #   - exit(status = true)
+  #   - Process.exit(status = true)
+  # -->
+  # Initiates termination of the Ruby script by raising SystemExit; the exception
+  # may be caught. Returns exit status `status` to the underlying operating
+  # system.
+  #
+  # Values `true` and `false` for argument `status` indicate, respectively,
+  # success and failure; The meanings of integer values are system-dependent.
+  #
+  # Example:
+  #
+  #     begin
+  #       exit
+  #       puts 'Never get here.'
+  #     rescue SystemExit
+  #       puts 'Rescued a SystemExit exception.'
+  #     end
+  #     puts 'After begin block.'
+  #
+  # Output:
+  #
+  #     Rescued a SystemExit exception.
+  #     After begin block.
+  #
+  # Just prior to final termination, Ruby executes any at-exit procedures (see
+  # Kernel::at_exit) and any object finalizers (see
+  # ObjectSpace::define_finalizer).
+  #
+  # Example:
+  #
+  #     at_exit { puts 'In at_exit function.' }
+  #     ObjectSpace.define_finalizer('string', proc { puts 'In finalizer.' })
+  #     exit
+  #
+  # Output:
+  #
+  #     In at_exit function.
+  #     In finalizer.
+  #
+  def self?.exit: (?int | bool status) -> bot
+
+  # <!--
+  #   rdoc-file=process.c
+  #   - exit!(status = false)
+  #   - Process.exit!(status = false)
+  # -->
+  # Exits the process immediately; no exit handlers are called. Returns exit
+  # status `status` to the underlying operating system.
+  #
+  #     Process.exit!(true)
+  #
+  # Values `true` and `false` for argument `status` indicate, respectively,
+  # success and failure; The meanings of integer values are system-dependent.
+  #
+  def self?.exit!: (?int | bool status) -> bot
+
+  # <!-- rdoc-file=eval.c -->
+  # Raises an exception; see [Exceptions](rdoc-ref:exceptions.md).
+  #
+  # Argument `exception` sets the class of the new exception; it should be class
+  # Exception or one of its subclasses (most commonly, RuntimeError or
+  # StandardError), or an instance of one of those classes:
+  #
+  #     begin
+  #       raise(StandardError)
+  #     rescue => x
+  #       p x.class
+  #     end
+  #     # => StandardError
+  #
+  # Argument `message` sets the stored message in the new exception, which may be
+  # retrieved by method Exception#message; the message must be a
+  # [string-convertible
+  # object](rdoc-ref:implicit_conversion.rdoc@String-Convertible+Objects) or
+  # `nil`:
+  #
+  #     begin
+  #       raise(StandardError, 'Boom')
+  #     rescue => x
+  #       p x.message
+  #     end
+  #     # => "Boom"
+  #
+  # If argument `message` is not given, the message is the exception class name.
+  #
+  # See [Messages](rdoc-ref:exceptions.md@Messages).
+  #
+  # Argument `backtrace` might be used to modify the backtrace of the new
+  # exception, as reported by Exception#backtrace and
+  # Exception#backtrace_locations; the backtrace must be an array of
+  # Thread::Backtrace::Location, an array of strings, a single string, or `nil`.
+  #
+  # Using the array of Thread::Backtrace::Location instances is the most
+  # consistent option and should be preferred when possible. The necessary value
+  # might be obtained from #caller_locations, or copied from
+  # Exception#backtrace_locations of another error:
+  #
+  #     begin
+  #       do_some_work()
+  #     rescue ZeroDivisionError => ex
+  #       raise(LogicalError, "You have an error in your math", ex.backtrace_locations)
+  #     end
+  #
+  # The ways, both Exception#backtrace and Exception#backtrace_locations of the
+  # raised error are set to the same backtrace.
+  #
+  # When the desired stack of locations is not available and should be constructed
+  # from scratch, an array of strings or a singular string can be used. In this
+  # case, only Exception#backtrace is set:
+  #
+  #     begin
+  #       raise(StandardError, 'Boom', %w[dsl.rb:3 framework.rb:1])
+  #     rescue => ex
+  #       p ex.backtrace
+  #       # => ["dsl.rb:3", "framework.rb:1"]
+  #       p ex.backtrace_locations
+  #       # => nil
+  #     end
+  #
+  # If argument `backtrace` is not given, the backtrace is set according to an
+  # array of Thread::Backtrace::Location objects, as derived from the call stack.
+  #
+  # See [Backtraces](rdoc-ref:exceptions.md@Backtraces).
+  #
+  # Keyword argument `cause` sets the stored cause in the new exception, which may
+  # be retrieved by method Exception#cause; the cause must be an exception object
+  # (Exception or one of its subclasses), or `nil`:
+  #
+  #     begin
+  #       raise(StandardError, cause: RuntimeError.new)
+  #     rescue => x
+  #       p x.cause
+  #     end
+  #     # => #<RuntimeError: RuntimeError>
+  #
+  # If keyword argument `cause` is not given, the cause is the value of
+  # <code>$!</code>.
+  #
+  # See [Cause](rdoc-ref:exceptions.md@Cause).
+  #
+  # In the alternate calling sequence, where argument `exception` *not* given,
+  # raises a new exception of the class given by <code>$!</code>, or of class
+  # RuntimeError if <code>$!</code> is `nil`:
+  #
+  #     begin
+  #       raise
+  #     rescue => x
+  #       p x
+  #     end
+  #     # => RuntimeError
+  #
+  # With argument `exception` not given, argument `message` and keyword argument
+  # `cause` may be given, but argument `backtrace` may not be given.
+  #
+  # `cause` can not be given as an only argument.
+  #
+  def self?.fail: () -> bot
+                | (string message, ?cause: Exception?) -> bot
+                | (_Exception exception, ?string | _ToS message, ?String | Array[String] | Array[Thread::Backtrace::Location] | nil backtrace, ?cause: Exception?) -> bot
+                | (_Exception exception, ?cause: Exception?, **untyped) -> bot
+
+  # <!--
+  #   rdoc-file=eval.c
+  #   - raise(exception, message = exception.to_s, backtrace = nil, cause: $!)
+  #   - raise(message = nil, cause: $!)
+  # -->
+  # Raises an exception; see [Exceptions](rdoc-ref:exceptions.md).
+  #
+  # Argument `exception` sets the class of the new exception; it should be class
+  # Exception or one of its subclasses (most commonly, RuntimeError or
+  # StandardError), or an instance of one of those classes:
+  #
+  #     begin
+  #       raise(StandardError)
+  #     rescue => x
+  #       p x.class
+  #     end
+  #     # => StandardError
+  #
+  # Argument `message` sets the stored message in the new exception, which may be
+  # retrieved by method Exception#message; the message must be a
+  # [string-convertible
+  # object](rdoc-ref:implicit_conversion.rdoc@String-Convertible+Objects) or
+  # `nil`:
+  #
+  #     begin
+  #       raise(StandardError, 'Boom')
+  #     rescue => x
+  #       p x.message
+  #     end
+  #     # => "Boom"
+  #
+  # If argument `message` is not given, the message is the exception class name.
+  #
+  # See [Messages](rdoc-ref:exceptions.md@Messages).
+  #
+  # Argument `backtrace` might be used to modify the backtrace of the new
+  # exception, as reported by Exception#backtrace and
+  # Exception#backtrace_locations; the backtrace must be an array of
+  # Thread::Backtrace::Location, an array of strings, a single string, or `nil`.
+  #
+  # Using the array of Thread::Backtrace::Location instances is the most
+  # consistent option and should be preferred when possible. The necessary value
+  # might be obtained from #caller_locations, or copied from
+  # Exception#backtrace_locations of another error:
+  #
+  #     begin
+  #       do_some_work()
+  #     rescue ZeroDivisionError => ex
+  #       raise(LogicalError, "You have an error in your math", ex.backtrace_locations)
+  #     end
+  #
+  # The ways, both Exception#backtrace and Exception#backtrace_locations of the
+  # raised error are set to the same backtrace.
+  #
+  # When the desired stack of locations is not available and should be constructed
+  # from scratch, an array of strings or a singular string can be used. In this
+  # case, only Exception#backtrace is set:
+  #
+  #     begin
+  #       raise(StandardError, 'Boom', %w[dsl.rb:3 framework.rb:1])
+  #     rescue => ex
+  #       p ex.backtrace
+  #       # => ["dsl.rb:3", "framework.rb:1"]
+  #       p ex.backtrace_locations
+  #       # => nil
+  #     end
+  #
+  # If argument `backtrace` is not given, the backtrace is set according to an
+  # array of Thread::Backtrace::Location objects, as derived from the call stack.
+  #
+  # See [Backtraces](rdoc-ref:exceptions.md@Backtraces).
+  #
+  # Keyword argument `cause` sets the stored cause in the new exception, which may
+  # be retrieved by method Exception#cause; the cause must be an exception object
+  # (Exception or one of its subclasses), or `nil`:
+  #
+  #     begin
+  #       raise(StandardError, cause: RuntimeError.new)
+  #     rescue => x
+  #       p x.cause
+  #     end
+  #     # => #<RuntimeError: RuntimeError>
+  #
+  # If keyword argument `cause` is not given, the cause is the value of
+  # <code>$!</code>.
+  #
+  # See [Cause](rdoc-ref:exceptions.md@Cause).
+  #
+  # In the alternate calling sequence, where argument `exception` *not* given,
+  # raises a new exception of the class given by <code>$!</code>, or of class
+  # RuntimeError if <code>$!</code> is `nil`:
+  #
+  #     begin
+  #       raise
+  #     rescue => x
+  #       p x
+  #     end
+  #     # => RuntimeError
+  #
+  # With argument `exception` not given, argument `message` and keyword argument
+  # `cause` may be given, but argument `backtrace` may not be given.
+  #
+  # `cause` can not be given as an only argument.
+  #
+  alias raise fail
+
+  alias self.raise self.fail
+
+  # <!-- rdoc-file=object.c -->
+  # Returns the string resulting from formatting `objects` into `format_string`.
+  #
+  # For details on `format_string`, see [Format
+  # Specifications](rdoc-ref:language/format_specifications.rdoc).
+  #
+  def self?.format: (String format, *untyped args) -> String
+
+  # <!--
+  #   rdoc-file=object.c
+  #   - sprintf(format_string *objects)  -> string
+  # -->
+  # Returns the string resulting from formatting `objects` into `format_string`.
+  #
+  # For details on `format_string`, see [Format
+  # Specifications](rdoc-ref:language/format_specifications.rdoc).
+  #
+  alias sprintf format
+
+  alias self.sprintf self.format
+
+  # <!--
+  #   rdoc-file=io.c
+  #   - gets(sep=$/ [, getline_args])     -> string or nil
+  #   - gets(limit [, getline_args])      -> string or nil
+  #   - gets(sep, limit [, getline_args]) -> string or nil
+  # -->
+  # Returns (and assigns to <code>$_</code>) the next line from the list of files
+  # in `ARGV` (or <code>$*</code>), or from standard input if no files are present
+  # on the command line. Returns `nil` at end of file. The optional argument
+  # specifies the record separator. The separator is included with the contents of
+  # each record. A separator of `nil` reads the entire contents, and a zero-length
+  # separator reads the input one paragraph at a time, where paragraphs are
+  # divided by two consecutive newlines.  If the first argument is an integer, or
+  # optional second argument is given, the returning string would not be longer
+  # than the given value in bytes.  If multiple filenames are present in `ARGV`,
+  # <code>gets(nil)</code> will read the contents one file at a time.
+  #
+  #     ARGV << "testfile"
+  #     print while gets
+  #
+  # <em>produces:</em>
+  #
+  #     This is line one
+  #     This is line two
+  #     This is line three
+  #     And so on...
+  #
+  # The style of programming using <code>$_</code> as an implicit parameter is
+  # gradually losing favor in the Ruby community.
+  #
+  def self?.gets: (?String sep, ?Integer limit, ?chomp: boolish) -> String?
+
+  # <!--
+  #   rdoc-file=eval.c
+  #   - global_variables    -> array
+  # -->
+  # Returns an array of the names of global variables. This includes special
+  # regexp global variables such as <code>$~</code> and <code>$+</code>, but does
+  # not include the numbered regexp global variables (<code>$1</code>,
+  # <code>$2</code>, etc.).
+  #
+  #     global_variables.grep /std/   #=> [:$stdin, :$stdout, :$stderr]
+  #
+  def self?.global_variables: () -> Array[Symbol]
+
+  # <!--
+  #   rdoc-file=load.c
+  #   - load(filename, wrap=false)   -> true
+  # -->
+  # Loads and executes the Ruby program in the file *filename*.
+  #
+  # If the filename is an absolute path (e.g. starts with '/'), the file will be
+  # loaded directly using the absolute path.
+  #
+  # If the filename is an explicit relative path (e.g. starts with './' or '../'),
+  # the file will be loaded using the relative path from the current directory.
+  #
+  # Otherwise, the file will be searched for in the library directories listed in
+  # <code>$LOAD_PATH</code> (<code>$:</code>). If the file is found in a
+  # directory, it will attempt to load the file relative to that directory.  If
+  # the file is not found in any of the directories in <code>$LOAD_PATH</code>,
+  # the file will be loaded using the relative path from the current directory.
+  #
+  # If the file doesn't exist when there is an attempt to load it, a LoadError
+  # will be raised.
+  #
+  # If the optional *wrap* parameter is `true`, the loaded script will be executed
+  # under an anonymous module. If the optional *wrap* parameter is a module, the
+  # loaded script will be executed under the given module. In no circumstance will
+  # any local variables in the loaded file be propagated to the loading
+  # environment.
+  #
+  def self?.load: (String filename, ?Module | bool) -> bool
+
+  # <!--
+  #   rdoc-file=kernel.rb
+  #   - loop { block }
+  #   - loop            -> an_enumerator
+  # -->
+  # Repeatedly executes the block.
+  #
+  # If no block is given, an enumerator is returned instead.
+  #
+  #     loop do
+  #       print "Input: "
+  #       line = gets
+  #       # break if q, Q is entered or EOF signal (Ctrl-D on Unix, Ctrl-Z on windows) is sent
+  #       break if !line or line =~ /^q/i
+  #       # ...
+  #     end
+  #
+  # A StopIteration raised in the block breaks the loop. In this case, loop
+  # returns the "result" value stored in the exception.
+  #
+  #     enum = Enumerator.new { |y|
+  #       y << "one"
+  #       y << "two"
+  #       :ok
+  #     }
+  #
+  #     result = loop {
+  #       puts enum.next
+  #     } #=> :ok
+  #
+  def self?.loop: () { () -> void } -> bot
+                | () -> ::Enumerator[nil, bot]
+
+  # <!--
+  #   rdoc-file=io.c
+  #   - open(path, mode = 'r', perm = 0666, **opts)             -> io or nil
+  #   - open(path, mode = 'r', perm = 0666, **opts) {|io| ... } -> obj
+  # -->
+  # Creates an IO object connected to the given file.
+  #
+  # With no block given, file stream is returned:
+  #
+  #     open('t.txt') # => #<File:t.txt>
+  #
+  # With a block given, calls the block with the open file stream, then closes the
+  # stream:
+  #
+  #     open('t.txt') {|f| p f } # => #<File:t.txt (closed)>
+  #
+  # Output:
+  #
+  #     #<File:t.txt>
+  #
+  # See File.open for details.
+  #
+  def self?.open: (String name, ?String mode, ?Integer perm) -> IO?
+                | [T] (String name, ?String mode, ?Integer perm) { (IO) -> T } -> T
+
+  # <!--
+  #   rdoc-file=io.c
+  #   - print(*objects) -> nil
+  # -->
+  # Equivalent to <code>$stdout.print(*objects)</code>, this method is the
+  # straightforward way to write to <code>$stdout</code>.
+  #
+  # Writes the given objects to <code>$stdout</code>; returns `nil`. Appends the
+  # output record separator <code>$OUTPUT_RECORD_SEPARATOR</code>
+  # <code>$\</code>), if it is not `nil`.
+  #
+  # With argument `objects` given, for each object:
+  #
+  # *   Converts via its method `to_s` if not a string.
+  # *   Writes to `stdout`.
+  # *   If not the last object, writes the output field separator
+  #     <code>$OUTPUT_FIELD_SEPARATOR</code> (<code>$,</code> if it is not `nil`.
+  #
+  # With default separators:
+  #
+  #     objects = [0, 0.0, Rational(0, 1), Complex(0, 0), :zero, 'zero']
+  #     $OUTPUT_RECORD_SEPARATOR
+  #     $OUTPUT_FIELD_SEPARATOR
+  #     print(*objects)
+  #
+  # Output:
+  #
+  #     nil
+  #     nil
+  #     00.00/10+0izerozero
+  #
+  # With specified separators:
+  #
+  #     $OUTPUT_RECORD_SEPARATOR = "\n"
+  #     $OUTPUT_FIELD_SEPARATOR = ','
+  #     print(*objects)
+  #
+  # Output:
+  #
+  #     0,0.0,0/1,0+0i,zero,zero
+  #
+  # With no argument given, writes the content of <code>$_</code> (which is
+  # usually the most recent user input):
+  #
+  #     gets  # Sets $_ to the most recent user input.
+  #     print # Prints $_.
+  #
+  def self?.print: (*_ToS args) -> nil
+
+  # <!--
+  #   rdoc-file=io.c
+  #   - printf(format_string, *objects)               -> nil
+  #   - printf(io, format_string, *objects) -> nil
+  # -->
+  # Equivalent to:
+  #
+  #     io.write(sprintf(format_string, *objects))
+  #
+  # For details on `format_string`, see [Format
+  # Specifications](rdoc-ref:language/format_specifications.rdoc).
+  #
+  # With the single argument `format_string`, formats `objects` into the string,
+  # then writes the formatted string to $stdout:
+  #
+  #     printf('%4.4d %10s %2.2f', 24, 24, 24.0)
+  #
+  # Output (on $stdout):
+  #
+  #     0024         24 24.00#
+  #
+  # With arguments `io` and `format_string`, formats `objects` into the string,
+  # then writes the formatted string to `io`:
+  #
+  #     printf($stderr, '%4.4d %10s %2.2f', 24, 24, 24.0)
+  #
+  # Output (on $stderr):
+  #
+  #     0024         24 24.00# => nil
+  #
+  # With no arguments, does nothing.
+  #
+  def self?.printf: () -> nil
+                  | (String fmt, *untyped args) -> nil
+                  | (_Writer io, string fmt, *untyped args) -> nil
+
+  # <!--
+  #   rdoc-file=proc.c
+  #   - proc   { |...| block }  -> a_proc
+  # -->
+  # Equivalent to Proc.new.
+  #
+  def self?.proc: () { (?) -> untyped } -> Proc
+
+  # <!--
+  #   rdoc-file=proc.c
+  #   - lambda { |...| block }  -> a_proc
+  # -->
+  # Equivalent to Proc.new, except the resulting Proc objects check the number of
+  # parameters passed when called.
+  #
+  def self?.lambda: () { () -> untyped } -> Proc
+
+  # <!--
+  #   rdoc-file=io.c
+  #   - putc(int) -> int
+  # -->
+  # Equivalent to:
+  #
+  #     $stdout.putc(int)
+  #
+  # See IO#putc for important information regarding multi-byte characters.
+  #
+  def self?.putc: [T < _ToInt] (T chr) -> T
+                | (String chr) -> String
+
+  # <!--
+  #   rdoc-file=io.c
+  #   - puts(*objects)    -> nil
+  # -->
+  # Equivalent to
+  #
+  #     $stdout.puts(objects)
+  #
+  def self?.puts: (*_ToS objects) -> nil
+
+  # <!--
+  #   rdoc-file=io.c
+  #   - p(object)   -> obj
+  #   - p(*objects) -> array of objects
+  #   - p           -> nil
+  # -->
+  # For each object `obj`, executes:
+  #
+  #     $stdout.write(obj.inspect, "\n")
+  #
+  # With one object given, returns the object; with multiple objects given,
+  # returns an array containing the objects; with no object given, returns `nil`.
+  #
+  # Examples:
+  #
+  #     r = Range.new(0, 4)
+  #     p r                 # => 0..4
+  #     p [r, r, r]         # => [0..4, 0..4, 0..4]
+  #     p                   # => nil
+  #
+  # Output:
+  #
+  #     0..4
+  #     [0..4, 0..4, 0..4]
+  #
+  # Kernel#p is designed for debugging purposes. Ruby implementations may define
+  # Kernel#p to be uninterruptible in whole or in part. On CRuby, Kernel#p's
+  # writing of data is uninterruptible.
+  #
+  def self?.p: [T < _Inspect] (T arg0) -> T
+             | (_Inspect arg0, _Inspect arg1, *_Inspect rest) -> Array[_Inspect]
+             | () -> nil
+
+  # <!--
+  #   rdoc-file=lib/pp.rb
+  #   - pp(*objs)
+  # -->
+  # prints arguments in pretty form.
+  #
+  # <code>#pp</code> returns argument(s).
+  #
+  def self?.pp: [T] (T arg0) -> T
+              | (untyped, untyped, *untyped) -> Array[untyped]
+              | () -> nil
+
+  # <!--
+  #   rdoc-file=random.c
+  #   - rand(max=0)    -> number
+  # -->
+  # If called without an argument, or if <code>max.to_i.abs == 0</code>, rand
+  # returns a pseudo-random floating point number between 0.0 and 1.0, including
+  # 0.0 and excluding 1.0.
+  #
+  #     rand        #=> 0.2725926052826416
+  #
+  # When <code>max.abs</code> is greater than or equal to 1, `rand` returns a
+  # pseudo-random integer greater than or equal to 0 and less than
+  # <code>max.to_i.abs</code>.
+  #
+  #     rand(100)   #=> 12
+  #
+  # When `max` is a Range, `rand` returns a random number where
+  # <code>range.member?(number) == true</code>.
+  #
+  # Negative or floating point values for `max` are allowed, but may give
+  # surprising results.
+  #
+  #     rand(-100) # => 87
+  #     rand(-0.5) # => 0.8130921818028143
+  #     rand(1.9)  # equivalent to rand(1), which is always 0
+  #
+  # Kernel.srand may be used to ensure that sequences of random numbers are
+  # reproducible between different runs of a program.
+  #
+  # Related: Random.rand.
+  #     rand(100.0)        # => 64 (Integer because max.to_i is 100)
+  #     Random.rand(100.0) # => 30.315320967824523
+  #
+  def self?.rand: (?0) -> Float
+                | (int arg0) -> Integer
+                | (::Range[Integer] arg0) -> Integer?
+                | (::Range[Float] arg0) -> Float?
+
+  # <!--
+  #   rdoc-file=io.c
+  #   - readline(sep = $/, chomp: false)   -> string
+  #   - readline(limit, chomp: false)      -> string
+  #   - readline(sep, limit, chomp: false) -> string
+  # -->
+  # Equivalent to method Kernel#gets, except that it raises an exception if called
+  # at end-of-stream:
+  #
+  #     $ cat t.txt | ruby -e "p readlines; readline"
+  #     ["First line\n", "Second line\n", "\n", "Fourth line\n", "Fifth line\n"]
+  #     in `readline': end of file reached (EOFError)
+  #
+  # Optional keyword argument `chomp` specifies whether line separators are to be
+  # omitted.
+  #
+  def self?.readline: (?String arg0, ?Integer arg1, ?chomp: boolish) -> String
+
+  # <!--
+  #   rdoc-file=io.c
+  #   - readlines(sep = $/, chomp: false, **enc_opts)   -> array
+  #   - readlines(limit, chomp: false, **enc_opts)       -> array
+  #   - readlines(sep, limit, chomp: false, **enc_opts) -> array
+  # -->
+  # Returns an array containing the lines returned by calling Kernel#gets until
+  # the end-of-stream is reached; (see [Line IO](rdoc-ref:IO@Line+IO)).
+  #
+  # With only string argument `sep` given, returns the remaining lines as
+  # determined by line separator `sep`, or `nil` if none; see [Line
+  # Separator](rdoc-ref:IO@Line+Separator):
+  #
+  #     # Default separator.
+  #     $ cat t.txt | ruby -e "p readlines"
+  #     ["First line\n", "Second line\n", "\n", "Fourth line\n", "Fifth line\n"]
+  #
+  #     # Specified separator.
+  #     $ cat t.txt | ruby -e "p readlines 'li'"
+  #     ["First li", "ne\nSecond li", "ne\n\nFourth li", "ne\nFifth li", "ne\n"]
+  #
+  #     # Get-all separator.
+  #     $ cat t.txt | ruby -e "p readlines nil"
+  #     ["First line\nSecond line\n\nFourth line\nFifth line\n"]
+  #
+  #     # Get-paragraph separator.
+  #     $ cat t.txt | ruby -e "p readlines ''"
+  #     ["First line\nSecond line\n\n", "Fourth line\nFifth line\n"]
+  #
+  # With only integer argument `limit` given, limits the number of bytes in the
+  # line; see [Line Limit](rdoc-ref:IO@Line+Limit):
+  #
+  #     $cat t.txt | ruby -e "p readlines 10"
+  #     ["First line", "\n", "Second lin", "e\n", "\n", "Fourth lin", "e\n", "Fifth line", "\n"]
+  #
+  #     $cat t.txt | ruby -e "p readlines 11"
+  #     ["First line\n", "Second line", "\n", "\n", "Fourth line", "\n", "Fifth line\n"]
+  #
+  #     $cat t.txt | ruby -e "p readlines 12"
+  #     ["First line\n", "Second line\n", "\n", "Fourth line\n", "Fifth line\n"]
+  #
+  # With arguments `sep` and `limit` given, combines the two behaviors (see [Line
+  # Separator and Line Limit](rdoc-ref:IO@Line+Separator+and+Line+Limit)).
+  #
+  # Optional keyword argument `chomp` specifies whether line separators are to be
+  # omitted:
+  #
+  #     $ cat t.txt | ruby -e "p readlines(chomp: true)"
+  #     ["First line", "Second line", "", "Fourth line", "Fifth line"]
+  #
+  # Optional keyword arguments `enc_opts` specify encoding options; see [Encoding
+  # options](rdoc-ref:encodings.rdoc@Encoding+Options).
+  #
+  def self?.readlines: (?string sep, ?int limit, ?chomp: boolish) -> ::Array[String]
+
+  # <!--
+  #   rdoc-file=lib/rubygems/core_ext/kernel_require.rb
+  #   - require(path)
+  # -->
+  # When RubyGems is required, Kernel#require is replaced with our own which is
+  # capable of loading gems on demand.
+  #
+  # When you call <code>require 'x'</code>, this is what happens:
+  # *   If the file can be loaded from the existing Ruby loadpath, it is.
+  # *   Otherwise, installed gems are searched for a file that matches. If it's
+  #     found in gem 'y', that gem is activated (added to the loadpath).
+  #
+  # The normal `require` functionality of returning false if that file has already
+  # been loaded is preserved.
+  #
+  def self?.require: (String path) -> bool
+
+  # <!--
+  #   rdoc-file=load.c
+  #   - require_relative(string) -> true or false
+  # -->
+  # Ruby tries to load the library named *string* relative to the directory
+  # containing the requiring file.  If the file does not exist a LoadError is
+  # raised. Returns `true` if the file was loaded and `false` if the file was
+  # already loaded before.
+  #
+  def self?.require_relative: (String feature) -> bool
+
+  # <!--
+  #   rdoc-file=io.c
+  #   - IO.select(read_ios, write_ios = [], error_ios = [], timeout = nil) -> array or nil
+  # -->
+  # Invokes system call [select(2)](https://linux.die.net/man/2/select), which
+  # monitors multiple file descriptors, waiting until one or more of the file
+  # descriptors becomes ready for some class of I/O operation.
+  #
+  # Not implemented on all platforms.
+  #
+  # Each of the arguments `read_ios`, `write_ios`, and `error_ios` is an array of
+  # IO objects.
+  #
+  # Argument `timeout` is a numeric value (such as integer or float) timeout
+  # interval in seconds. `timeout` can also be `nil` or
+  # <code>Float::INFINITY</code>. `nil` and <code>Float::INFINITY</code> means no
+  # timeout.
+  #
+  # The method monitors the IO objects given in all three arrays, waiting for some
+  # to be ready; returns a 3-element array whose elements are:
+  #
+  # *   An array of the objects in `read_ios` that are ready for reading.
+  # *   An array of the objects in `write_ios` that are ready for writing.
+  # *   An array of the objects in `error_ios` have pending exceptions.
+  #
+  # If no object becomes ready within the given `timeout`, `nil` is returned.
+  #
+  # IO.select peeks the buffer of IO objects for testing readability. If the IO
+  # buffer is not empty, IO.select immediately notifies readability.  This "peek"
+  # only happens for IO objects.  It does not happen for IO-like objects such as
+  # OpenSSL::SSL::SSLSocket.
+  #
+  # The best way to use IO.select is invoking it after non-blocking methods such
+  # as #read_nonblock, #write_nonblock, etc.  The methods raise an exception which
+  # is extended by IO::WaitReadable or IO::WaitWritable.  The modules notify how
+  # the caller should wait with IO.select.  If IO::WaitReadable is raised, the
+  # caller should wait for reading.  If IO::WaitWritable is raised, the caller
+  # should wait for writing.
+  #
+  # So, blocking read (#readpartial) can be emulated using #read_nonblock and
+  # IO.select as follows:
+  #
+  #     begin
+  #       result = io_like.read_nonblock(maxlen)
+  #     rescue IO::WaitReadable
+  #       IO.select([io_like])
+  #       retry
+  #     rescue IO::WaitWritable
+  #       IO.select(nil, [io_like])
+  #       retry
+  #     end
+  #
+  # Especially, the combination of non-blocking methods and IO.select is preferred
+  # for IO like objects such as OpenSSL::SSL::SSLSocket.  It has #to_io method to
+  # return underlying IO object.  IO.select calls #to_io to obtain the file
+  # descriptor to wait.
+  #
+  # This means that readability notified by IO.select doesn't mean readability
+  # from OpenSSL::SSL::SSLSocket object.
+  #
+  # The most likely situation is that OpenSSL::SSL::SSLSocket buffers some data.
+  # IO.select doesn't see the buffer.  So IO.select can block when
+  # OpenSSL::SSL::SSLSocket#readpartial doesn't block.
+  #
+  # However, several more complicated situations exist.
+  #
+  # SSL is a protocol which is sequence of records. The record consists of
+  # multiple bytes. So, the remote side of SSL sends a partial record, IO.select
+  # notifies readability but OpenSSL::SSL::SSLSocket cannot decrypt a byte and
+  # OpenSSL::SSL::SSLSocket#readpartial will block.
+  #
+  # Also, the remote side can request SSL renegotiation which forces the local SSL
+  # engine to write some data. This means OpenSSL::SSL::SSLSocket#readpartial may
+  # invoke #write system call and it can block. In such a situation,
+  # OpenSSL::SSL::SSLSocket#read_nonblock raises IO::WaitWritable instead of
+  # blocking. So, the caller should wait for ready for writability as above
+  # example.
+  #
+  # The combination of non-blocking methods and IO.select is also useful for
+  # streams such as tty, pipe socket socket when multiple processes read from a
+  # stream.
+  #
+  # Finally, Linux kernel developers don't guarantee that readability of select(2)
+  # means readability of following read(2) even for a single process; see
+  # [select(2)](https://linux.die.net/man/2/select)
+  #
+  # Invoking IO.select before IO#readpartial works well as usual. However it is
+  # not the best way to use IO.select.
+  #
+  # The writability notified by select(2) doesn't show how many bytes are
+  # writable. IO#write method blocks until given whole string is written. So,
+  # <code>IO#write(two or more bytes)</code> can block after writability is
+  # notified by IO.select.  IO#write_nonblock is required to avoid the blocking.
+  #
+  # Blocking write (#write) can be emulated using #write_nonblock and IO.select as
+  # follows: IO::WaitReadable should also be rescued for SSL renegotiation in
+  # OpenSSL::SSL::SSLSocket.
+  #
+  #     while 0 < string.bytesize
+  #       begin
+  #         written = io_like.write_nonblock(string)
+  #       rescue IO::WaitReadable
+  #         IO.select([io_like])
+  #         retry
+  #       rescue IO::WaitWritable
+  #         IO.select(nil, [io_like])
+  #         retry
+  #       end
+  #       string = string.byteslice(written..-1)
+  #     end
+  #
+  # Example:
+  #
+  #     rp, wp = IO.pipe
+  #     mesg = "ping "
+  #     100.times {
+  #       # IO.select follows IO#read.  Not the best way to use IO.select.
+  #       rs, ws, = IO.select([rp], [wp])
+  #       if r = rs[0]
+  #         ret = r.read(5)
+  #         print ret
+  #         case ret
+  #         when /ping/
+  #           mesg = "pong\n"
+  #         when /pong/
+  #           mesg = "ping "
+  #         end
+  #       end
+  #       if w = ws[0]
+  #         w.write(mesg)
+  #       end
+  #     }
+  #
+  # Output:
+  #
+  #     ping pong
+  #     ping pong
+  #     ping pong
+  #     (snipped)
+  #     ping
+  #
+  def self?.select: (::Array[IO] read, ?::Array[IO] write, ?::Array[IO] error, ?Time::_Timeout timeout) -> ::Array[String]
+
+  # <!--
+  #   rdoc-file=process.c
+  #   - sleep(secs = nil) -> slept_secs
+  # -->
+  # Suspends execution of the current thread for the number of seconds specified
+  # by numeric argument `secs`, or forever if `secs` is `nil`; returns the integer
+  # number of seconds suspended (rounded).
+  #
+  #     Time.new  # => 2008-03-08 19:56:19 +0900
+  #     sleep 1.2 # => 1
+  #     Time.new  # => 2008-03-08 19:56:20 +0900
+  #     sleep 1.9 # => 2
+  #     Time.new  # => 2008-03-08 19:56:22 +0900
+  #
+  def self?.sleep: (?nil) -> bot
+                 | (Time::_Timeout duration) -> Integer
+
+  # <!--
+  #   rdoc-file=io.c
+  #   - syscall(integer_callno, *arguments)   -> integer
+  # -->
+  # Invokes Posix system call [syscall(2)](https://linux.die.net/man/2/syscall),
+  # which calls a specified function.
+  #
+  # Calls the operating system function identified by `integer_callno`; returns
+  # the result of the function or raises SystemCallError if it failed. The effect
+  # of the call is platform-dependent. The arguments and returned value are
+  # platform-dependent.
+  #
+  # For each of `arguments`: if it is an integer, it is passed directly; if it is
+  # a string, it is interpreted as a binary sequence of bytes. There may be as
+  # many as nine such arguments.
+  #
+  # Arguments `integer_callno` and `argument`, as well as the returned value, are
+  # platform-dependent.
+  #
+  # Note: Method `syscall` is essentially unsafe and unportable. The DL (Fiddle)
+  # library is preferred for safer and a bit more portable programming.
+  #
+  # Not implemented on all platforms.
+  #
+  def self?.syscall: (Integer num, *untyped args) -> untyped
+
+  # <!--
+  #   rdoc-file=file.c
+  #   - test(char, path0, path1 = nil) -> object
+  # -->
+  # Performs a test on one or both of the *filesystem entities* at the given paths
+  # `path0` and `path1`:
+  # *   Each path `path0` or `path1` points to a file, directory, device, pipe,
+  #     etc.
+  # *   Character `char` selects a specific test.
+  # The tests:
+  # *   Each of these tests operates only on the entity at `path0`,
+  #      and returns `true` or `false`;
+  #      for a non-existent entity, returns `false` (does not raise exception):
+  #    Character    |Test
+  # ----------------|-----------------------------------------------------------------------------
+  # <code>'b'</code>|Whether the entity is a block device.
+  # <code>'c'</code>|Whether the entity is a character device.
+  # <code>'d'</code>|Whether the entity is a directory.
+  # <code>'e'</code>|Whether the entity is an existing entity.
+  # <code>'f'</code>|Whether the entity is an existing regular file.
+  # <code>'g'</code>|Whether the entity's setgid bit is set.
+  # <code>'G'</code>|Whether the entity's group ownership is equal to the caller's.
+  # <code>'k'</code>|Whether the entity's sticky bit is set.
+  # <code>'l'</code>|Whether the entity is a symbolic link.
+  # <code>'o'</code>|Whether the entity is owned by the caller's effective uid.
+  # <code>'O'</code>|Like <code>'o'</code>, but uses the real uid (not the effective uid).
+  # <code>'p'</code>|Whether the entity is a FIFO device (named pipe).
+  # <code>'r'</code>|Whether the entity is readable by the caller's effective uid/gid.
+  # <code>'R'</code>|Like <code>'r'</code>, but uses the real uid/gid (not the effective uid/gid).
+  # <code>'S'</code>|Whether the entity is a socket.
+  # <code>'u'</code>|Whether the entity's setuid bit is set.
+  # <code>'w'</code>|Whether the entity is writable by the caller's effective uid/gid.
+  # <code>'W'</code>|Like <code>'w'</code>, but uses the real uid/gid (not the effective uid/gid).
+  # <code>'x'</code>|Whether the entity is executable by the caller's effective uid/gid.
+  # <code>'X'</code>|Like <code>'x'</code>, but uses the real uid/gid (not the effective uid/git).
+  # <code>'z'</code>|Whether the entity exists and is of length zero.
+  # *   This test operates only on the entity at `path0`,
+  #      and returns an integer size or +nil+:
+  #    Character    |Test
+  # ----------------|--------------------------------------------------------------------------------------------
+  # <code>'s'</code>|Returns positive integer size if the entity exists and has non-zero length, +nil+ otherwise.
+  # *   Each of these tests operates only on the entity at `path0`,
+  #      and returns a Time object;
+  #      raises an exception if the entity does not exist:
+  #    Character    |Test
+  # ----------------|--------------------------------------
+  # <code>'A'</code>|Last access time for the entity.
+  # <code>'C'</code>|Last change time for the entity.
+  # <code>'M'</code>|Last modification time for the entity.
+  # *   Each of these tests operates on the modification time (`mtime`)
+  #      of each of the entities at `path0` and `path1`,
+  #      and returns a `true` or `false`;
+  #      returns `false` if either entity does not exist:
+  #    Character    |Test
+  # ----------------|---------------------------------------------------------------
+  # <code>'<'</code>|Whether the `mtime` at `path0` is less than that at `path1`.
+  # <code>'='</code>|Whether the `mtime` at `path0` is equal to that at `path1`.
+  # <code>'>'</code>|Whether the `mtime` at `path0` is greater than that at `path1`.
+  # *   This test operates on the content of each of the entities at `path0` and
+  #     `path1`,
+  #      and returns a `true` or `false`;
+  #      returns `false` if either entity does not exist:
+  #    Character    |Test
+  # ----------------|---------------------------------------------
+  # <code>'-'</code>|Whether the entities exist and are identical.
+  #
+  def self?.test: ('b' | 'c' | 'd' | 'e' | 'f' | 'g' | 'G' | 'k' | 'l' | 'o' | 'O' | 'p' | 'r' | 'R' | 'S' | 'u' | 'w' | 'W' | 'x' | 'X' | 'z' |
+                    98 | 99 | 100 | 101 | 102 | 103 | 71 | 107 | 108 | 111 | 79 | 112 | 114 | 82 | 83 | 117 | 119 | 87 | 120 | 88 | 122, path filepath) -> bool
+                | ('s' | 115, path filepath) -> Integer?
+                | ('A' | 'M' | 'C' | 65 | 77 | 67, path filepath) -> Time
+                | ('<' | '=' | '>' | '-' | 60 | 61 | 62 | 45, path filepath1, path filepath2) -> bool
+                | (String | int cmd, path filepath1, ?path filepath2) -> (bool | Time | Integer | nil)
+
+  # <!--
+  #   rdoc-file=vm_eval.c
+  #   - throw(tag [, obj])
+  # -->
+  # Transfers control to the end of the active `catch` block waiting for *tag*.
+  # Raises `UncaughtThrowError` if there is no `catch` block for the *tag*. The
+  # optional second parameter supplies a return value for the `catch` block, which
+  # otherwise defaults to `nil`. For examples, see Kernel::catch.
+  #
+  def self?.throw: (untyped tag, ?untyped obj) -> bot
+
+  # <!--
+  #   rdoc-file=warning.rb
+  #   - warn(*msgs, uplevel: nil, category: nil)   -> nil
+  # -->
+  # If warnings have been disabled (for example with the <code>-W0</code> flag),
+  # does nothing.  Otherwise, converts each of the messages to strings, appends a
+  # newline character to the string if the string does not end in a newline, and
+  # calls Warning.warn with the string.
+  #
+  #     warn("warning 1", "warning 2")
+  #
+  # <em>produces:</em>
+  #
+  #     warning 1
+  #     warning 2
+  #
+  # If the `uplevel` keyword argument is given, the string will be prepended with
+  # information for the given caller frame in the same format used by the
+  # `rb_warn` C function.
+  #
+  #     # In baz.rb
+  #     def foo
+  #       warn("invalid call to foo", uplevel: 1)
+  #     end
+  #
+  #     def bar
+  #       foo
+  #     end
+  #
+  #     bar
+  #
+  # <em>produces:</em>
+  #
+  #     baz.rb:6: warning: invalid call to foo
+  #
+  # If `category` keyword argument is given, passes the category to
+  # <code>Warning.warn</code>.  The category given must be one of the following
+  # categories:
+  #
+  # :deprecated
+  # :   Used for warning for deprecated functionality that may be removed in the
+  #     future.
+  #
+  # :experimental
+  # :   Used for experimental features that may change in future releases.
+  #
+  # :performance
+  # :   Used for warning about APIs or pattern that have negative performance
+  #     impact
+  #
+  def self?.warn: (*_ToS msg, ?uplevel: int?, ?category: Warning::category?) -> nil
+
+  # <!--
+  #   rdoc-file=process.c
+  #   - exec([env, ] command_line, options = {})
+  #   - exec([env, ] exe_path, *args, options  = {})
+  # -->
+  # Replaces the current process by doing one of the following:
+  #
+  # *   Passing string `command_line` to the shell.
+  # *   Invoking the executable at `exe_path`.
+  #
+  # This method has potential security vulnerabilities if called with untrusted
+  # input; see [Command Injection](rdoc-ref:security/command_injection.rdoc).
+  #
+  # The new process is created using the [exec system
+  # call](https://pubs.opengroup.org/onlinepubs/9699919799.2018edition/functions/e
+  # xecve.html); it may inherit some of its environment from the calling program
+  # (possibly including open file descriptors).
+  #
+  # Argument `env`, if given, is a hash that affects `ENV` for the new process;
+  # see [Execution Environment](rdoc-ref:Process@Execution+Environment).
+  #
+  # Argument `options` is a hash of options for the new process; see [Execution
+  # Options](rdoc-ref:Process@Execution+Options).
+  #
+  # The first required argument is one of the following:
+  #
+  # *   `command_line` if it is a string, and if it begins with a shell reserved
+  #     word or special built-in, or if it contains one or more meta characters.
+  # *   `exe_path` otherwise.
+  #
+  # <strong>Argument `command_line`</strong>
+  #
+  # String argument `command_line` is a command line to be passed to a shell; it
+  # must begin with a shell reserved word, begin with a special built-in, or
+  # contain meta characters:
+  #
+  #     exec('if true; then echo "Foo"; fi') # Shell reserved word.
+  #     exec('exit')                         # Built-in.
+  #     exec('date > date.tmp')              # Contains meta character.
+  #
+  # The command line may also contain arguments and options for the command:
+  #
+  #     exec('echo "Foo"')
+  #
+  # Output:
+  #
+  #     Foo
+  #
+  # See [Execution Shell](rdoc-ref:Process@Execution+Shell) for details about the
+  # shell.
+  #
+  # Raises an exception if the new process could not execute.
+  #
+  # <strong>Argument `exe_path`</strong>
+  #
+  # Argument `exe_path` is one of the following:
+  #
+  # *   The string path to an executable to be called.
+  # *   A 2-element array containing the path to an executable and the string to
+  #     be used as the name of the executing process.
+  #
+  # Example:
+  #
+  #     exec('/usr/bin/date')
+  #
+  # Output:
+  #
+  #     Sat Aug 26 09:38:00 AM CDT 2023
+  #
+  # Ruby invokes the executable directly. This form does not use the shell; see
+  # [Arguments args](rdoc-ref:Process@Arguments+args) for caveats.
+  #
+  #     exec('doesnt_exist') # Raises Errno::ENOENT
+  #
+  # If one or more `args` is given, each is an argument or option to be passed to
+  # the executable:
+  #
+  #     exec('echo', 'C*')
+  #     exec('echo', 'hello', 'world')
+  #
+  # Output:
+  #
+  #     C*
+  #     hello world
+  #
+  # Raises an exception if the new process could not execute.
+  #
+  def self?.exec: (String command, *String args, ?unsetenv_others: bool, ?pgroup: true | Integer, ?umask: Integer, ?in: redirect_fd, ?out: redirect_fd, ?err: redirect_fd, ?close_others: bool, ?chdir: String) -> bot
+                | (Hash[string, string?] env, String command, *String args, ?unsetenv_others: bool, ?pgroup: true | Integer, ?umask: Integer, ?in: redirect_fd, ?out: redirect_fd, ?err: redirect_fd, ?close_others: bool, ?chdir: String) -> bot
+
+  type redirect_fd = Integer | :in | :out | :err | IO | String | [ String ] | [ String, string | int ] | [ String, string | int, int ] | [ :child, int ] | :close
+
+  # <!--
+  #   rdoc-file=process.c
+  #   - spawn([env, ] command_line, options = {}) -> pid
+  #   - spawn([env, ] exe_path, *args, options  = {}) -> pid
+  # -->
+  # Creates a new child process by doing one of the following in that process:
+  #
+  # *   Passing string `command_line` to the shell.
+  # *   Invoking the executable at `exe_path`.
+  #
+  # This method has potential security vulnerabilities if called with untrusted
+  # input; see [Command Injection](rdoc-ref:security/command_injection.rdoc).
+  #
+  # Returns the process ID (pid) of the new process, without waiting for it to
+  # complete.
+  #
+  # To avoid zombie processes, the parent process should call either:
+  #
+  # *   Process.wait, to collect the termination statuses of its children.
+  # *   Process.detach, to register disinterest in their status.
+  #
+  # The new process is created using the [exec system
+  # call](https://pubs.opengroup.org/onlinepubs/9699919799.2018edition/functions/e
+  # xecve.html); it may inherit some of its environment from the calling program
+  # (possibly including open file descriptors).
+  #
+  # Argument `env`, if given, is a hash that affects `ENV` for the new process;
+  # see [Execution Environment](rdoc-ref:Process@Execution+Environment).
+  #
+  # Argument `options` is a hash of options for the new process; see [Execution
+  # Options](rdoc-ref:Process@Execution+Options).
+  #
+  # The first required argument is one of the following:
+  #
+  # *   `command_line` if it is a string, and if it begins with a shell reserved
+  #     word or special built-in, or if it contains one or more meta characters.
+  # *   `exe_path` otherwise.
+  #
+  # <strong>Argument `command_line`</strong>
+  #
+  # String argument `command_line` is a command line to be passed to a shell; it
+  # must begin with a shell reserved word, begin with a special built-in, or
+  # contain meta characters:
+  #
+  #     spawn('if true; then echo "Foo"; fi') # => 798847 # Shell reserved word.
+  #     Process.wait                          # => 798847
+  #     spawn('exit')                         # => 798848 # Built-in.
+  #     Process.wait                          # => 798848
+  #     spawn('date > /tmp/date.tmp')         # => 798879 # Contains meta character.
+  #     Process.wait                          # => 798849
+  #     spawn('date > /nop/date.tmp')         # => 798882 # Issues error message.
+  #     Process.wait                          # => 798882
+  #
+  # The command line may also contain arguments and options for the command:
+  #
+  #     spawn('echo "Foo"') # => 799031
+  #     Process.wait        # => 799031
+  #
+  # Output:
+  #
+  #     Foo
+  #
+  # See [Execution Shell](rdoc-ref:Process@Execution+Shell) for details about the
+  # shell.
+  #
+  # Raises an exception if the new process could not execute.
+  #
+  # <strong>Argument `exe_path`</strong>
+  #
+  # Argument `exe_path` is one of the following:
+  #
+  # *   The string path to an executable to be called.
+  # *   A 2-element array containing the path to an executable to be called, and
+  #     the string to be used as the name of the executing process.
+  #
+  #         spawn('/usr/bin/date') # Path to date on Unix-style system.
+  #         Process.wait
+  #
+  #     Output:
+  #
+  #         Mon Aug 28 11:43:10 AM CDT 2023
+  #
+  # Ruby invokes the executable directly. This form does not use the shell; see
+  # [Arguments args](rdoc-ref:Process@Arguments+args) for caveats.
+  #
+  # If one or more `args` is given, each is an argument or option to be passed to
+  # the executable:
+  #
+  #     spawn('echo', 'C*')             # => 799392
+  #     Process.wait                    # => 799392
+  #     spawn('echo', 'hello', 'world') # => 799393
+  #     Process.wait                    # => 799393
+  #
+  # Output:
+  #
+  #     C*
+  #     hello world
+  #
+  # Raises an exception if the new process could not execute.
+  #
+  def self?.spawn: (String command, *String args, ?unsetenv_others: bool, ?pgroup: true | Integer, ?umask: Integer, ?in: redirect_fd, ?out: redirect_fd, ?err: redirect_fd, ?close_others: bool, ?chdir: String) -> Integer
+                 | (Hash[string, string?] env, String command, *String args, ?unsetenv_others: bool, ?pgroup: true | Integer, ?umask: Integer, ?in: redirect_fd, ?out: redirect_fd, ?err: redirect_fd, ?close_others: bool, ?chdir: String) -> Integer
+
+  # <!--
+  #   rdoc-file=process.c
+  #   - system([env, ] command_line, options = {}, exception: false) -> true, false, or nil
+  #   - system([env, ] exe_path, *args, options  = {}, exception: false) -> true, false, or nil
+  # -->
+  # Creates a new child process by doing one of the following in that process:
+  #
+  # *   Passing string `command_line` to the shell.
+  # *   Invoking the executable at `exe_path`.
+  #
+  # This method has potential security vulnerabilities if called with untrusted
+  # input; see [Command Injection](rdoc-ref:security/command_injection.rdoc).
+  #
+  # Returns:
+  #
+  # *   `true` if the command exits with status zero.
+  # *   `false` if the exit status is a non-zero integer.
+  # *   `nil` if the command could not execute.
+  #
+  # Raises an exception (instead of returning `false` or `nil`) if keyword
+  # argument `exception` is set to `true`.
+  #
+  # Assigns the command's error status to <code>$?</code>.
+  #
+  # The new process is created using the [system system
+  # call](https://pubs.opengroup.org/onlinepubs/9699919799.2018edition/functions/s
+  # ystem.html); it may inherit some of its environment from the calling program
+  # (possibly including open file descriptors).
+  #
+  # Argument `env`, if given, is a hash that affects `ENV` for the new process;
+  # see [Execution Environment](rdoc-ref:Process@Execution+Environment).
+  #
+  # Argument `options` is a hash of options for the new process; see [Execution
+  # Options](rdoc-ref:Process@Execution+Options).
+  #
+  # The first required argument is one of the following:
+  #
+  # *   `command_line` if it is a string, and if it begins with a shell reserved
+  #     word or special built-in, or if it contains one or more meta characters.
+  # *   `exe_path` otherwise.
+  #
+  # <strong>Argument `command_line`</strong>
+  #
+  # String argument `command_line` is a command line to be passed to a shell; it
+  # must begin with a shell reserved word, begin with a special built-in, or
+  # contain meta characters:
+  #
+  #     system('if true; then echo "Foo"; fi')          # => true  # Shell reserved word.
+  #     system('exit')                                  # => true  # Built-in.
+  #     system('date > /tmp/date.tmp')                  # => true  # Contains meta character.
+  #     system('date > /nop/date.tmp')                  # => false
+  #     system('date > /nop/date.tmp', exception: true) # Raises RuntimeError.
+  #
+  # Assigns the command's error status to <code>$?</code>:
+  #
+  #     system('exit')                             # => true  # Built-in.
+  #     $?                                         # => #<Process::Status: pid 640610 exit 0>
+  #     system('date > /nop/date.tmp')             # => false
+  #     $?                                         # => #<Process::Status: pid 640742 exit 2>
+  #
+  # The command line may also contain arguments and options for the command:
+  #
+  #     system('echo "Foo"') # => true
+  #
+  # Output:
+  #
+  #     Foo
+  #
+  # See [Execution Shell](rdoc-ref:Process@Execution+Shell) for details about the
+  # shell.
+  #
+  # Raises an exception if the new process could not execute.
+  #
+  # <strong>Argument `exe_path`</strong>
+  #
+  # Argument `exe_path` is one of the following:
+  #
+  # *   The string path to an executable to be called.
+  # *   A 2-element array containing the path to an executable and the string to
+  #     be used as the name of the executing process.
+  #
+  # Example:
+  #
+  #     system('/usr/bin/date') # => true # Path to date on Unix-style system.
+  #     system('foo')           # => nil  # Command failed.
+  #
+  # Output:
+  #
+  #     Mon Aug 28 11:43:10 AM CDT 2023
+  #
+  # Assigns the command's error status to <code>$?</code>:
+  #
+  #     system('/usr/bin/date') # => true
+  #     $?                      # => #<Process::Status: pid 645605 exit 0>
+  #     system('foo')           # => nil
+  #     $?                      # => #<Process::Status: pid 645608 exit 127>
+  #
+  # Ruby invokes the executable directly. This form does not use the shell; see
+  # [Arguments args](rdoc-ref:Process@Arguments+args) for caveats.
+  #
+  #     system('doesnt_exist') # => nil
+  #
+  # If one or more `args` is given, each is an argument or option to be passed to
+  # the executable:
+  #
+  #     system('echo', 'C*')             # => true
+  #     system('echo', 'hello', 'world') # => true
+  #
+  # Output:
+  #
+  #     C*
+  #     hello world
+  #
+  # Raises an exception if the new process could not execute.
+  #
+  def self?.system: (String command, *String args, ?unsetenv_others: bool, ?pgroup: true | Integer, ?umask: Integer, ?in: redirect_fd, ?out: redirect_fd, ?err: redirect_fd, ?close_others: bool, ?chdir: String, ?exception: bool) -> (NilClass | FalseClass | TrueClass)
+                  | (Hash[string, string?] env, String command, *String args, ?unsetenv_others: bool, ?pgroup: true | Integer, ?umask: Integer, ?in: redirect_fd, ?out: redirect_fd, ?err: redirect_fd, ?close_others: bool, ?chdir: String, ?exception: bool) -> (NilClass | FalseClass | TrueClass)
+
+  # An interface used with `trace_var` (and `untrace_var`) for custom command types.
+  interface _Tracer
+    # Called whenever the global variable that's being traced changes; the argument is the new value.
+    def call: (untyped argument) -> void
+  end
+
+  # <!--
+  #   rdoc-file=eval.c
+  #   - trace_var(symbol, cmd )             -> nil
+  #   - trace_var(symbol) {|val| block }    -> nil
+  # -->
+  # Controls tracing of assignments to global variables. The parameter `symbol`
+  # identifies the variable (as either a string name or a symbol identifier).
+  # *cmd* (which may be a string or a `Proc` object) or block is executed whenever
+  # the variable is assigned. The block or `Proc` object receives the variable's
+  # new value as a parameter. Also see #untrace_var.
+  #
+  #     trace_var :$_, proc {|v| puts "$_ is now '#{v}'" }
+  #     $_ = "hello"
+  #     $_ = ' there'
+  #
+  # <em>produces:</em>
+  #
+  #     $_ is now 'hello'
+  #     $_ is now ' there'
+  #
+  def self?.trace_var: (interned name, String | _Tracer cmd) -> nil
+                     | (interned name) { (untyped value) -> void } -> nil
+                     | (interned name, nil) -> Array[String | _Tracer]?
+
+  # <!--
+  #   rdoc-file=eval.c
+  #   - untrace_var(symbol [, cmd] )   -> array or nil
+  # -->
+  # Removes tracing for the specified command on the given global variable and
+  # returns `nil`. If no command is specified, removes all tracing for that
+  # variable and returns an array containing the commands actually removed.
+  #
+  def self?.untrace_var: (interned name, ?nil) -> Array[String | _Tracer]
+                       | (interned name, String cmd) -> [String]?
+                       | [T < _Tracer] (interned name, T cmd) -> [T]?
+                       | (interned name, untyped cmd) -> nil
+
+  # <!--
+  #   rdoc-file=object.c
+  #   - obj !~ other  -> true or false
+  # -->
+  # Returns true if two objects do not match (using the *=~* method), otherwise
+  # false.
+  #
+  def !~: (untyped other) -> bool
+
+  # <!--
+  #   rdoc-file=object.c
+  #   - obj <=> other -> 0 or nil
+  # -->
+  # Returns 0 if `obj` and `other` are the same object or `obj == other`,
+  # otherwise nil.
+  #
+  # The #<=> is used by various methods to compare objects, for example
+  # Enumerable#sort, Enumerable#max etc.
+  #
+  # Your implementation of #<=> should return one of the following values: -1, 0,
+  # 1 or nil. -1 means self is smaller than other. 0 means self is equal to other.
+  # 1 means self is bigger than other. Nil means the two values could not be
+  # compared.
+  #
+  # When you define #<=>, you can include Comparable to gain the methods #<=, #<,
+  # #==, #>=, #> and #between?.
+  #
+  def <=>: (untyped other) -> 0?
+
+  # <!--
+  #   rdoc-file=object.c
+  #   - obj === other   -> true or false
+  # -->
+  # Case Equality -- For class Object, effectively the same as calling `#==`, but
+  # typically overridden by descendants to provide meaningful semantics in `case`
+  # statements.
+  #
+  alias === ==
+
+  # <!--
+  #   rdoc-file=kernel.rb
+  #   - obj.clone(freeze: nil) -> an_object
+  # -->
+  # Produces a shallow copy of *obj*---the instance variables of *obj* are copied,
+  # but not the objects they reference. #clone copies the frozen value state of
+  # *obj*, unless the <code>:freeze</code> keyword argument is given with a false
+  # or true value. See also the discussion under Object#dup.
+  #
+  #     class Klass
+  #        attr_accessor :str
+  #     end
+  #     s1 = Klass.new      #=> #<Klass:0x401b3a38>
+  #     s1.str = "Hello"    #=> "Hello"
+  #     s2 = s1.clone       #=> #<Klass:0x401b3998 @str="Hello">
+  #     s2.str[1,4] = "i"   #=> "i"
+  #     s1.inspect          #=> "#<Klass:0x401b3a38 @str=\"Hi\">"
+  #     s2.inspect          #=> "#<Klass:0x401b3998 @str=\"Hi\">"
+  #
+  # This method may have class-specific behavior. If so, that behavior will be
+  # documented under the #`initialize_copy` method of the class.
+  #
+  def clone: (?freeze: bool?) -> self
+
+  # <!--
+  #   rdoc-file=proc.c
+  #   - define_singleton_method(symbol, method) -> symbol
+  #   - define_singleton_method(symbol) { block } -> symbol
+  # -->
+  # Defines a public singleton method in the receiver. The *method* parameter can
+  # be a `Proc`, a `Method` or an `UnboundMethod` object. If a block is specified,
+  # it is used as the method body. If a block or a method has parameters, they're
+  # used as method parameters.
+  #
+  #     class A
+  #       class << self
+  #         def class_name
+  #           to_s
+  #         end
+  #       end
+  #     end
+  #     A.define_singleton_method(:who_am_i) do
+  #       "I am: #{class_name}"
+  #     end
+  #     A.who_am_i   # ==> "I am: A"
+  #
+  #     guy = "Bob"
+  #     guy.define_singleton_method(:hello) { "#{self}: Hello there!" }
+  #     guy.hello    #=>  "Bob: Hello there!"
+  #
+  #     chris = "Chris"
+  #     chris.define_singleton_method(:greet) {|greeting| "#{greeting}, I'm Chris!" }
+  #     chris.greet("Hi") #=> "Hi, I'm Chris!"
+  #
+  def define_singleton_method: (interned name, Method | UnboundMethod | Proc method) -> Symbol
+                             | (interned name) { (?) [self: self] -> untyped } -> Symbol
+
+  # <!--
+  #   rdoc-file=io.c
+  #   - display(port = $>) -> nil
+  # -->
+  # Writes `self` on the given port:
+  #
+  #     1.display
+  #     "cat".display
+  #     [ 4, 5, 6 ].display
+  #     puts
+  #
+  # Output:
+  #
+  #     1cat[4, 5, 6]
+  #
+  def display: (?_Writer port) -> nil
+
+  # <!--
+  #   rdoc-file=object.c
+  #   - obj.dup -> an_object
+  # -->
+  # Produces a shallow copy of *obj*---the instance variables of *obj* are copied,
+  # but not the objects they reference.
+  #
+  # This method may have class-specific behavior.  If so, that behavior will be
+  # documented under the #`initialize_copy` method of the class.
+  #
+  # ### on dup vs clone
+  #
+  # In general, #clone and #dup may have different semantics in descendant
+  # classes. While #clone is used to duplicate an object, including its internal
+  # state, #dup typically uses the class of the descendant object to create the
+  # new instance.
+  #
+  # When using #dup, any modules that the object has been extended with will not
+  # be copied.
+  #
+  #     class Klass
+  #       attr_accessor :str
+  #     end
+  #
+  #     module Foo
+  #       def foo; 'foo'; end
+  #     end
+  #
+  #     s1 = Klass.new #=> #<Klass:0x401b3a38>
+  #     s1.extend(Foo) #=> #<Klass:0x401b3a38>
+  #     s1.foo #=> "foo"
+  #
+  #     s2 = s1.clone #=> #<Klass:0x401be280>
+  #     s2.foo #=> "foo"
+  #
+  #     s3 = s1.dup #=> #<Klass:0x401c1084>
+  #     s3.foo #=> NoMethodError: undefined method `foo' for #<Klass:0x401c1084>
+  #
+  def dup: () -> self
+
+  # <!-- rdoc-file=enumerator.c -->
+  # Creates a new Enumerator which will enumerate by calling `method` on `obj`,
+  # passing `args` if any. What was *yielded* by method becomes values of
+  # enumerator.
+  #
+  # If a block is given, it will be used to calculate the size of the enumerator
+  # without the need to iterate it (see Enumerator#size).
+  #
+  # ### Examples
+  #
+  #     str = "xyz"
+  #
+  #     enum = str.enum_for(:each_byte)
+  #     enum.each { |b| puts b }
+  #     # => 120
+  #     # => 121
+  #     # => 122
+  #
+  #     # protect an array from being modified by some_method
+  #     a = [1, 2, 3]
+  #     some_method(a.to_enum)
+  #
+  #     # String#split in block form is more memory-effective:
+  #     very_large_string.split("|") { |chunk| return chunk if chunk.include?('DATE') }
+  #     # This could be rewritten more idiomatically with to_enum:
+  #     very_large_string.to_enum(:split, "|").lazy.grep(/DATE/).first
+  #
+  # It is typical to call to_enum when defining methods for a generic Enumerable,
+  # in case no block is passed.
+  #
+  # Here is such an example, with parameter passing and a sizing block:
+  #
+  #     module Enumerable
+  #       # a generic method to repeat the values of any enumerable
+  #       def repeat(n)
+  #         raise ArgumentError, "#{n} is negative!" if n < 0
+  #         unless block_given?
+  #           return to_enum(__method__, n) do # __method__ is :repeat here
+  #             sz = size     # Call size and multiply by n...
+  #             sz * n if sz  # but return nil if size itself is nil
+  #           end
+  #         end
+  #         each do |*val|
+  #           n.times { yield *val }
+  #         end
+  #       end
+  #     end
+  #
+  #     %i[hello world].repeat(2) { |w| puts w }
+  #       # => Prints 'hello', 'hello', 'world', 'world'
+  #     enum = (1..14).repeat(3)
+  #       # => returns an Enumerator when called without a block
+  #     enum.first(4) # => [1, 1, 1, 2]
+  #     enum.size # => 42
+  #
+  def enum_for: (?interned method, *untyped, **untyped) ?{ (*untyped, **untyped) -> Integer } -> Enumerator[untyped, untyped]
+
+  alias to_enum enum_for
+
+  # <!--
+  #   rdoc-file=object.c
+  #   - obj == other        -> true or false
+  #   - obj.equal?(other)   -> true or false
+  #   - obj.eql?(other)     -> true or false
+  # -->
+  # Equality --- At the Object level, #== returns `true` only if `obj` and `other`
+  # are the same object.  Typically, this method is overridden in descendant
+  # classes to provide class-specific meaning.
+  #
+  # Unlike #==, the #equal? method should never be overridden by subclasses as it
+  # is used to determine object identity (that is, `a.equal?(b)` if and only if
+  # `a` is the same object as `b`):
+  #
+  #     obj = "a"
+  #     other = obj.dup
+  #
+  #     obj == other      #=> true
+  #     obj.equal? other  #=> false
+  #     obj.equal? obj    #=> true
+  #
+  # The #eql? method returns `true` if `obj` and `other` refer to the same hash
+  # key.  This is used by Hash to test members for equality.  For any pair of
+  # objects where #eql? returns `true`, the #hash value of both objects must be
+  # equal. So any subclass that overrides #eql? should also override #hash
+  # appropriately.
+  #
+  # For objects of class Object, #eql?  is synonymous with #==.  Subclasses
+  # normally continue this tradition by aliasing #eql? to their overridden #==
+  # method, but there are exceptions. Numeric types, for example, perform type
+  # conversion across #==, but not across #eql?, so:
+  #
+  #     1 == 1.0     #=> true
+  #     1.eql? 1.0   #=> false
+  #
+  def eql?: (untyped other) -> bool
+
+  # <!--
+  #   rdoc-file=eval.c
+  #   - obj.extend(module, ...)    -> obj
+  # -->
+  # Adds to *obj* the instance methods from each module given as a parameter.
+  #
+  #     module Mod
+  #       def hello
+  #         "Hello from Mod.\n"
+  #       end
+  #     end
+  #
+  #     class Klass
+  #       def hello
+  #         "Hello from Klass.\n"
+  #       end
+  #     end
+  #
+  #     k = Klass.new
+  #     k.hello         #=> "Hello from Klass.\n"
+  #     k.extend(Mod)   #=> #<Klass:0x401b3bc8>
+  #     k.hello         #=> "Hello from Mod.\n"
+  #
+  def extend: (Module module, *Module other_modules) -> self
+
+  # <!--
+  #   rdoc-file=object.c
+  #   - obj.freeze    -> obj
+  # -->
+  # Prevents further modifications to *obj*. A FrozenError will be raised if
+  # modification is attempted. There is no way to unfreeze a frozen object. See
+  # also Object#frozen?.
+  #
+  # This method returns self.
+  #
+  #     a = [ "a", "b", "c" ]
+  #     a.freeze
+  #     a << "z"
+  #
+  # *produces:*
+  #
+  #     prog.rb:3:in `<<': can't modify frozen Array (FrozenError)
+  #      from prog.rb:3
+  #
+  # Objects of the following classes are always frozen: Integer, Float, Symbol.
+  #
+  def freeze: () -> self
+
+  # <!--
+  #   rdoc-file=kernel.rb
+  #   - obj.frozen?    -> true or false
+  # -->
+  # Returns the freeze status of *obj*.
+  #
+  #     a = [ "a", "b", "c" ]
+  #     a.freeze    #=> ["a", "b", "c"]
+  #     a.frozen?   #=> true
+  #
+  def frozen?: () -> bool
+
+  # <!--
+  #   rdoc-file=object.c
+  #   - obj.hash    -> integer
+  # -->
+  # Generates an Integer hash value for this object.  This function must have the
+  # property that `a.eql?(b)` implies `a.hash == b.hash`.
+  #
+  # The hash value is used along with #eql? by the Hash class to determine if two
+  # objects reference the same hash key.  Any hash value that exceeds the capacity
+  # of an Integer will be truncated before being used.
+  #
+  # The hash value for an object may not be identical across invocations or
+  # implementations of Ruby.  If you need a stable identifier across Ruby
+  # invocations and implementations you will need to generate one with a custom
+  # method.
+  #
+  # Certain core classes such as Integer use built-in hash calculations and do not
+  # call the #hash method when used as a hash key.
+  #
+  # When implementing your own #hash based on multiple values, the best practice
+  # is to combine the class and any values using the hash code of an array:
+  #
+  # For example:
+  #
+  #     def hash
+  #       [self.class, a, b, c].hash
+  #     end
+  #
+  # The reason for this is that the Array#hash method already has logic for safely
+  # and efficiently combining multiple hash values.
+  #
+  def hash: () -> Integer
+
+  # <!--
+  #   rdoc-file=object.c
+  #   - obj.inspect   -> string
+  # -->
+  # Returns a string containing a human-readable representation of *obj*. The
+  # default #inspect shows the object's class name, an encoding of its memory
+  # address, and a list of the instance variables and their values (by calling
+  # #inspect on each of them).  User defined classes should override this method
+  # to provide a better representation of *obj*.  When overriding this method, it
+  # should return a string whose encoding is compatible with the default external
+  # encoding.
+  #
+  #     [ 1, 2, 3..4, 'five' ].inspect   #=> "[1, 2, 3..4, \"five\"]"
+  #     Time.new.inspect                 #=> "2008-03-08 19:43:39 +0900"
+  #
+  #     class Foo
+  #     end
+  #     Foo.new.inspect                  #=> "#<Foo:0x0300c868>"
+  #
+  #     class Bar
+  #       def initialize
+  #         @bar = 1
+  #       end
+  #     end
+  #     Bar.new.inspect                  #=> "#<Bar:0x0300c868 @bar=1>"
+  #
+  def inspect: () -> String
+
+  # <!--
+  #   rdoc-file=object.c
+  #   - obj.instance_of?(class)    -> true or false
+  # -->
+  # Returns `true` if *obj* is an instance of the given class. See also
+  # Object#kind_of?.
+  #
+  #     class A;     end
+  #     class B < A; end
+  #     class C < B; end
+  #
+  #     b = B.new
+  #     b.instance_of? A   #=> false
+  #     b.instance_of? B   #=> true
+  #     b.instance_of? C   #=> false
+  #
+  def instance_of?: (Module | Class module_or_class) -> bool
+
+  # <!--
+  #   rdoc-file=object.c
+  #   - obj.instance_variable_defined?(symbol)    -> true or false
+  #   - obj.instance_variable_defined?(string)    -> true or false
+  # -->
+  # Returns `true` if the given instance variable is defined in *obj*. String
+  # arguments are converted to symbols.
+  #
+  #     class Fred
+  #       def initialize(p1, p2)
+  #         @a, @b = p1, p2
+  #       end
+  #     end
+  #     fred = Fred.new('cat', 99)
+  #     fred.instance_variable_defined?(:@a)    #=> true
+  #     fred.instance_variable_defined?("@b")   #=> true
+  #     fred.instance_variable_defined?("@c")   #=> false
+  #
+  def instance_variable_defined?: (interned variable) -> bool
+
+  # <!--
+  #   rdoc-file=object.c
+  #   - obj.instance_variable_get(symbol)    -> obj
+  #   - obj.instance_variable_get(string)    -> obj
+  # -->
+  # Returns the value of the given instance variable, or nil if the instance
+  # variable is not set. The `@` part of the variable name should be included for
+  # regular instance variables. Throws a NameError exception if the supplied
+  # symbol is not valid as an instance variable name. String arguments are
+  # converted to symbols.
+  #
+  #     class Fred
+  #       def initialize(p1, p2)
+  #         @a, @b = p1, p2
+  #       end
+  #     end
+  #     fred = Fred.new('cat', 99)
+  #     fred.instance_variable_get(:@a)    #=> "cat"
+  #     fred.instance_variable_get("@b")   #=> 99
+  #
+  def instance_variable_get: (interned variable) -> untyped
+
+  # <!--
+  #   rdoc-file=object.c
+  #   - obj.instance_variable_set(symbol, obj)    -> obj
+  #   - obj.instance_variable_set(string, obj)    -> obj
+  # -->
+  # Sets the instance variable named by *symbol* to the given object. This may
+  # circumvent the encapsulation intended by the author of the class, so it should
+  # be used with care. The variable does not have to exist prior to this call. If
+  # the instance variable name is passed as a string, that string is converted to
+  # a symbol.
+  #
+  #     class Fred
+  #       def initialize(p1, p2)
+  #         @a, @b = p1, p2
+  #       end
+  #     end
+  #     fred = Fred.new('cat', 99)
+  #     fred.instance_variable_set(:@a, 'dog')   #=> "dog"
+  #     fred.instance_variable_set(:@c, 'cat')   #=> "cat"
+  #     fred.inspect                             #=> "#<Fred:0x401b3da8 @a=\"dog\", @b=99, @c=\"cat\">"
+  #
+  def instance_variable_set: [T] (interned variable, T value) -> T
+
+  # <!--
+  #   rdoc-file=object.c
+  #   - obj.instance_variables    -> array
+  # -->
+  # Returns an array of instance variable names for the receiver. Note that simply
+  # defining an accessor does not create the corresponding instance variable.
+  #
+  #     class Fred
+  #       attr_accessor :a1
+  #       def initialize
+  #         @iv = 3
+  #       end
+  #     end
+  #     Fred.new.instance_variables   #=> [:@iv]
+  #
+  def instance_variables: () -> Array[Symbol]
+
+  # <!-- rdoc-file=object.c -->
+  # Returns `true` if *class* is the class of *obj*, or if *class* is one of the
+  # superclasses of *obj* or modules included in *obj*.
+  #
+  #     module M;    end
+  #     class A
+  #       include M
+  #     end
+  #     class B < A; end
+  #     class C < B; end
+  #
+  #     b = B.new
+  #     b.is_a? A          #=> true
+  #     b.is_a? B          #=> true
+  #     b.is_a? C          #=> false
+  #     b.is_a? M          #=> true
+  #
+  #     b.kind_of? A       #=> true
+  #     b.kind_of? B       #=> true
+  #     b.kind_of? C       #=> false
+  #     b.kind_of? M       #=> true
+  #
+  def is_a?: (Module | Class module_or_class) -> bool
+
+  alias kind_of? is_a?
+
+  # <!--
+  #   rdoc-file=object.c
+  #   - obj.itself    -> obj
+  # -->
+  # Returns the receiver.
+  #
+  #     string = "my string"
+  #     string.itself.object_id == string.object_id   #=> true
+  #
+  def itself: () -> self
+
+  # <!--
+  #   rdoc-file=proc.c
+  #   - obj.method(sym)    -> method
+  # -->
+  # Looks up the named method as a receiver in *obj*, returning a Method object
+  # (or raising NameError). The Method object acts as a closure in *obj*'s object
+  # instance, so instance variables and the value of `self` remain available.
+  #
+  #     class Demo
+  #       def initialize(n)
+  #         @iv = n
+  #       end
+  #       def hello()
+  #         "Hello, @iv = #{@iv}"
+  #       end
+  #     end
+  #
+  #     k = Demo.new(99)
+  #     m = k.method(:hello)
+  #     m.call   #=> "Hello, @iv = 99"
+  #
+  #     l = Demo.new('Fred')
+  #     m = l.method("hello")
+  #     m.call   #=> "Hello, @iv = Fred"
+  #
+  # Note that Method implements `to_proc` method, which means it can be used with
+  # iterators.
+  #
+  #     [ 1, 2, 3 ].each(&method(:puts)) # => prints 3 lines to stdout
+  #
+  #     out = File.open('test.txt', 'w')
+  #     [ 1, 2, 3 ].each(&out.method(:puts)) # => prints 3 lines to file
+  #
+  #     require 'date'
+  #     %w[2017-03-01 2017-03-02].collect(&Date.method(:parse))
+  #     #=> [#<Date: 2017-03-01 ((2457814j,0s,0n),+0s,2299161j)>, #<Date: 2017-03-02 ((2457815j,0s,0n),+0s,2299161j)>]
+  #
+  def method: (interned name) -> Method
+
+  # <!--
+  #   rdoc-file=object.c
+  #   - obj.methods(regular=true)    -> array
+  # -->
+  # Returns a list of the names of public and protected methods of *obj*. This
+  # will include all the methods accessible in *obj*'s ancestors. If the optional
+  # parameter is `false`, it returns an array of *obj*'s public and protected
+  # singleton methods, the array will not include methods in modules included in
+  # *obj*.
+  #
+  #     class Klass
+  #       def klass_method()
+  #       end
+  #     end
+  #     k = Klass.new
+  #     k.methods[0..9]    #=> [:klass_method, :nil?, :===,
+  #                        #    :==~, :!, :eql?
+  #                        #    :hash, :<=>, :class, :singleton_class]
+  #     k.methods.length   #=> 56
+  #
+  #     k.methods(false)   #=> []
+  #     def k.singleton_method; end
+  #     k.methods(false)   #=> [:singleton_method]
+  #
+  #     module M123; def m123; end end
+  #     k.extend M123
+  #     k.methods(false)   #=> [:singleton_method]
+  #
+  def methods: (?boolish regular) -> Array[Symbol]
+
+  # <!--
+  #   rdoc-file=object.c
+  #   - obj.nil?               -> true or false
+  # -->
+  # Only the object *nil* responds `true` to `nil?`.
+  #
+  #     Object.new.nil?   #=> false
+  #     nil.nil?          #=> true
+  #
+  def nil?: () -> false
+
+  # <!--
+  #   rdoc-file=gc.c
+  #   - obj.__id__       -> integer
+  #   - obj.object_id    -> integer
+  # -->
+  # Returns an integer identifier for `obj`.
+  #
+  # The same number will be returned on all calls to `object_id` for a given
+  # object, and no two active objects will share an id.
+  #
+  # Note: that some objects of builtin classes are reused for optimization. This
+  # is the case for immediate values and frozen string literals.
+  #
+  # BasicObject implements +__id__+, Kernel implements `object_id`.
+  #
+  # Immediate values are not passed by reference but are passed by value: `nil`,
+  # `true`, `false`, Fixnums, Symbols, and some Floats.
+  #
+  #     Object.new.object_id  == Object.new.object_id  # => false
+  #     (21 * 2).object_id    == (21 * 2).object_id    # => true
+  #     "hello".object_id     == "hello".object_id     # => false
+  #     "hi".freeze.object_id == "hi".freeze.object_id # => true
+  #
+  alias object_id __id__
+
+  # <!--
+  #   rdoc-file=object.c
+  #   - obj.private_methods(all=true)   -> array
+  # -->
+  # Returns the list of private methods accessible to *obj*. If the *all*
+  # parameter is set to `false`, only those methods in the receiver will be
+  # listed.
+  #
+  def private_methods: (?boolish all) -> Array[Symbol]
+
+  # <!--
+  #   rdoc-file=object.c
+  #   - obj.protected_methods(all=true)   -> array
+  # -->
+  # Returns the list of protected methods accessible to *obj*. If the *all*
+  # parameter is set to `false`, only those methods in the receiver will be
+  # listed.
+  #
+  def protected_methods: (?boolish all) -> Array[Symbol]
+
+  # <!--
+  #   rdoc-file=proc.c
+  #   - obj.public_method(sym)    -> method
+  # -->
+  # Similar to *method*, searches public method only.
+  #
+  def public_method: (interned name) -> Method
+
+  # <!--
+  #   rdoc-file=object.c
+  #   - obj.public_methods(all=true)   -> array
+  # -->
+  # Returns the list of public methods accessible to *obj*. If the *all* parameter
+  # is set to `false`, only those methods in the receiver will be listed.
+  #
+  def public_methods: (?boolish all) -> Array[Symbol]
+
+  # <!--
+  #   rdoc-file=vm_eval.c
+  #   - obj.public_send(symbol [, args...])  -> obj
+  #   - obj.public_send(string [, args...])  -> obj
+  # -->
+  # Invokes the method identified by *symbol*, passing it any arguments specified.
+  # Unlike send, public_send calls public methods only. When the method is
+  # identified by a string, the string is converted to a symbol.
+  #
+  #     1.public_send(:puts, "hello")  # causes NoMethodError
+  #
+  def public_send: (interned name, *untyped, **untyped) ?{ (?) -> untyped } -> untyped
+
+  # <!--
+  #   rdoc-file=object.c
+  #   - obj.remove_instance_variable(symbol)    -> obj
+  #   - obj.remove_instance_variable(string)    -> obj
+  # -->
+  # Removes the named instance variable from *obj*, returning that variable's
+  # value. String arguments are converted to symbols.
+  #
+  #     class Dummy
+  #       attr_reader :var
+  #       def initialize
+  #         @var = 99
+  #       end
+  #       def remove
+  #         remove_instance_variable(:@var)
+  #       end
+  #     end
+  #     d = Dummy.new
+  #     d.var      #=> 99
+  #     d.remove   #=> 99
+  #     d.var      #=> nil
+  #
+  def remove_instance_variable: (interned variable) -> untyped
+
+  # <!--
+  #   rdoc-file=vm_method.c
+  #   - obj.respond_to?(symbol, include_all=false) -> true or false
+  #   - obj.respond_to?(string, include_all=false) -> true or false
+  # -->
+  # Returns `true` if *obj* responds to the given method.  Private and protected
+  # methods are included in the search only if the optional second parameter
+  # evaluates to `true`.
+  #
+  # If the method is not implemented, as Process.fork on Windows, File.lchmod on
+  # GNU/Linux, etc., false is returned.
+  #
+  # If the method is not defined, `respond_to_missing?` method is called and the
+  # result is returned.
+  #
+  # When the method name parameter is given as a string, the string is converted
+  # to a symbol.
+  #
+  def respond_to?: (interned name, ?boolish include_all) -> bool
+
+  # <!--
+  #   rdoc-file=vm_method.c
+  #   - obj.respond_to_missing?(symbol, include_all) -> true or false
+  #   - obj.respond_to_missing?(string, include_all) -> true or false
+  # -->
+  # DO NOT USE THIS DIRECTLY.
+  #
+  # Hook method to return whether the *obj* can respond to *id* method or not.
+  #
+  # When the method name parameter is given as a string, the string is converted
+  # to a symbol.
+  #
+  # See #respond_to?, and the example of BasicObject.
+  #
+  private def respond_to_missing?: (Symbol | String name, bool include_all) -> bool
+
+  # <!--
+  #   rdoc-file=vm_eval.c
+  #   - foo.send(symbol [, args...])       -> obj
+  #   - foo.__send__(symbol [, args...])   -> obj
+  #   - foo.send(string [, args...])       -> obj
+  #   - foo.__send__(string [, args...])   -> obj
+  # -->
+  # Invokes the method identified by *symbol*, passing it any arguments specified.
+  # When the method is identified by a string, the string is converted to a
+  # symbol.
+  #
+  # BasicObject implements +__send__+, Kernel implements `send`. `__send__` is
+  # safer than `send` when *obj* has the same method name like `Socket`. See also
+  # `public_send`.
+  #
+  #     class Klass
+  #       def hello(*args)
+  #         "Hello " + args.join(' ')
+  #       end
+  #     end
+  #     k = Klass.new
+  #     k.send :hello, "gentle", "readers"   #=> "Hello gentle readers"
+  #
+  alias send __send__
+
+  # <!--
+  #   rdoc-file=object.c
+  #   - obj.singleton_class    -> class
+  # -->
+  # Returns the singleton class of *obj*.  This method creates a new singleton
+  # class if *obj* does not have one.
+  #
+  # If *obj* is `nil`, `true`, or `false`, it returns NilClass, TrueClass, or
+  # FalseClass, respectively. If *obj* is an Integer, a Float or a Symbol, it
+  # raises a TypeError.
+  #
+  #     Object.new.singleton_class  #=> #<Class:#<Object:0xb7ce1e24>>
+  #     String.singleton_class      #=> #<Class:String>
+  #     nil.singleton_class         #=> NilClass
+  #
+  def singleton_class: () -> Class
+
+  # <!--
+  #   rdoc-file=proc.c
+  #   - obj.singleton_method(sym)    -> method
+  # -->
+  # Similar to *method*, searches singleton method only.
+  #
+  #     class Demo
+  #       def initialize(n)
+  #         @iv = n
+  #       end
+  #       def hello()
+  #         "Hello, @iv = #{@iv}"
+  #       end
+  #     end
+  #
+  #     k = Demo.new(99)
+  #     def k.hi
+  #       "Hi, @iv = #{@iv}"
+  #     end
+  #     m = k.singleton_method(:hi)
+  #     m.call   #=> "Hi, @iv = 99"
+  #     m = k.singleton_method(:hello) #=> NameError
+  #
+  def singleton_method: (interned name) -> Method
+
+  # <!--
+  #   rdoc-file=object.c
+  #   - obj.singleton_methods(all=true)    -> array
+  # -->
+  # Returns an array of the names of singleton methods for *obj*. If the optional
+  # *all* parameter is true, the list will include methods in modules included in
+  # *obj*. Only public and protected singleton methods are returned.
+  #
+  #     module Other
+  #       def three() end
+  #     end
+  #
+  #     class Single
+  #       def Single.four() end
+  #     end
+  #
+  #     a = Single.new
+  #
+  #     def a.one()
+  #     end
+  #
+  #     class << a
+  #       include Other
+  #       def two()
+  #       end
+  #     end
+  #
+  #     Single.singleton_methods    #=> [:four]
+  #     a.singleton_methods(false)  #=> [:two, :one]
+  #     a.singleton_methods         #=> [:two, :one, :three]
+  #
+  def singleton_methods: (?boolish all) -> Array[Symbol]
+
+  # <!--
+  #   rdoc-file=kernel.rb
+  #   - obj.tap {|x| block }    -> obj
+  # -->
+  # Yields self to the block and then returns self. The primary purpose of this
+  # method is to "tap into" a method chain, in order to perform operations on
+  # intermediate results within the chain.
+  #
+  #     (1..10)                  .tap {|x| puts "original: #{x}" }
+  #       .to_a                  .tap {|x| puts "array:    #{x}" }
+  #       .select {|x| x.even? } .tap {|x| puts "evens:    #{x}" }
+  #       .map {|x| x*x }        .tap {|x| puts "squares:  #{x}" }
+  #
+  def tap: () { (self) -> void } -> self
+
+  # <!--
+  #   rdoc-file=object.c
+  #   - obj.to_s    -> string
+  # -->
+  # Returns a string representing *obj*. The default #to_s prints the object's
+  # class and an encoding of the object id. As a special case, the top-level
+  # object that is the initial execution context of Ruby programs returns
+  # ``main''.
+  #
+  def to_s: () -> String
+
+  # <!--
+  #   rdoc-file=kernel.rb
+  #   - yield_self()
+  # -->
+  #
+  def yield_self: () -> Enumerator[self, untyped]
+                | [T] () { (self) -> T } -> T
+
+  # <!--
+  #   rdoc-file=kernel.rb
+  #   - obj.then {|x| block }          -> an_object
+  # -->
+  # Yields self to the block and returns the result of the block.
+  #
+  #     3.next.then {|x| x**x }.to_s             #=> "256"
+  #
+  # A good use of `then` is value piping in method chains:
+  #
+  #     require 'open-uri'
+  #     require 'json'
+  #
+  #     construct_url(arguments)
+  #       .then {|url| URI(url).read }
+  #       .then {|response| JSON.parse(response) }
+  #
+  # When called without a block, the method returns an `Enumerator`, which can be
+  # used, for example, for conditional circuit-breaking:
+  #
+  #     # Meets condition, no-op
+  #     1.then.detect(&:odd?)            # => 1
+  #     # Does not meet condition, drop value
+  #     2.then.detect(&:odd?)            # => nil
+  #
+  alias then yield_self
+
+  private
+
+  def initialize_copy: (self object) -> self
+
+  def initialize_clone: (self object, ?freeze: bool?) -> self
+
+  def initialize_dup: (self object) -> self
+end