rbs 4.0.0.dev.4 → 4.0.0

data/core/rational.rbs

@@ -53,15 +53,16 @@ class Rational < Numeric
 
   # <!--
   #   rdoc-file=rational.c
-  #   - rat * numeric  ->  numeric
+  #   - self * other -> numeric
   # -->
-  # Performs multiplication.
+  # Returns the numeric product of `self` and `other`:
   #
-  #     Rational(2, 3)  * Rational(2, 3)   #=> (4/9)
-  #     Rational(900)   * Rational(1)      #=> (900/1)
-  #     Rational(-2, 9) * Rational(-9, 2)  #=> (1/1)
-  #     Rational(9, 8)  * 4                #=> (9/2)
-  #     Rational(20, 9) * 9.8              #=> 21.77777777777778
+  #     Rational(9, 8)  * 4               #=> (9/2)
+  #     Rational(20, 9) * 9.8             #=> 21.77777777777778
+  #     Rational(9, 8)  * Complex(1, 2)   # => ((9/8)+(9/4)*i)
+  #     Rational(2, 3)  * Rational(2, 3)  #=> (4/9)
+  #     Rational(900)   * Rational(1)     #=> (900/1)
+  #     Rational(-2, 9) * Rational(-9, 2) #=> (1/1)
   #
   def *: (Integer) -> Rational
        | (Rational) -> Rational
@@ -69,9 +70,9 @@ class Rational < Numeric
 
   # <!--
   #   rdoc-file=rational.c
-  #   - rat ** numeric  ->  numeric
+  #   - self ** exponent -> numeric
   # -->
-  # Performs exponentiation.
+  # Returns `self` raised to the power `exponent`:
   #
   #     Rational(2)    ** Rational(3)     #=> (8/1)
   #     Rational(10)   ** -2              #=> (1/100)
@@ -85,27 +86,35 @@ class Rational < Numeric
 
   # <!--
   #   rdoc-file=rational.c
-  #   - rat + numeric  ->  numeric
+  #   - self + other -> numeric
   # -->
-  # Performs addition.
+  # Returns the sum of `self` and `other`:
   #
-  #     Rational(2, 3)  + Rational(2, 3)   #=> (4/3)
-  #     Rational(900)   + Rational(1)      #=> (901/1)
-  #     Rational(-2, 9) + Rational(-9, 2)  #=> (-85/18)
-  #     Rational(9, 8)  + 4                #=> (41/8)
-  #     Rational(20, 9) + 9.8              #=> 12.022222222222222
+  #     Rational(2, 3) + 0  # => (2/3)
+  #     Rational(2, 3) + 1  # => (5/3)
+  #     Rational(2, 3) + -1 # => (-1/3)
+  #
+  #     Rational(2, 3) + Complex(1, 0)     # => ((5/3)+0i)
+  #
+  #     Rational(2, 3) + Rational(1, 1)     # => (5/3)
+  #     Rational(2, 3) + Rational(3, 2)     # => (13/6)
+  #     Rational(2, 3) + Rational(3.0, 2.0) # => (13/6)
+  #     Rational(2, 3) + Rational(3.1, 2.1) # => (30399297484750849/14186338826217063)
+  #
+  # For a computation involving Floats, the result may be inexact (see Float#+):
+  #
+  #     Rational(2, 3) + 1.0 # => 1.6666666666666665
+  #     Rational(2, 3) + Complex(1.0, 0.0) # => (1.6666666666666665+0.0i)
   #
   def +: (Float) -> Float
        | (Complex) -> Complex
        | (Numeric) -> Rational
 
-  def +@: () -> Rational
-
   # <!--
   #   rdoc-file=rational.c
-  #   - rat - numeric  ->  numeric
+  #   - self - other -> numeric
   # -->
-  # Performs subtraction.
+  # Returns the difference of `self` and `other`:
   #
   #     Rational(2, 3)  - Rational(2, 3)   #=> (0/1)
   #     Rational(900)   - Rational(1)      #=> (899/1)
@@ -119,18 +128,20 @@ class Rational < Numeric
 
   # <!--
   #   rdoc-file=rational.c
-  #   - -rat  ->  rational
+  #   - -self -> rational
   # -->
-  # Negates `rat`.
+  # Returns `self`, negated:
+  #
+  #     -(1/3r)   # => (-1/3)
+  #     -(-1/3r)  # => (1/3)
   #
   def -@: () -> Rational
 
   # <!--
   #   rdoc-file=rational.c
-  #   - rat / numeric     ->  numeric
-  #   - rat.quo(numeric)  ->  numeric
+  #   - self / other -> numeric
   # -->
-  # Performs division.
+  # Returns the quotient of `self` and `other`:
   #
   #     Rational(2, 3)  / Rational(2, 3)   #=> (1/1)
   #     Rational(900)   / Rational(1)      #=> (900/1)
@@ -144,20 +155,29 @@ class Rational < Numeric
 
   # <!--
   #   rdoc-file=rational.c
-  #   - rational <=> numeric  ->  -1, 0, +1, or nil
+  #   - self <=> other -> -1, 0, 1, or nil
   # -->
-  # Returns -1, 0, or +1 depending on whether `rational` is less than, equal to,
-  # or greater than `numeric`.
+  # Compares `self` and `other`.
+  #
+  # Returns:
+  #
+  # *   <code>-1</code>, if `self` is less than `other`.
+  # *   `0`, if the two values are the same.
+  # *   `1`, if `self` is greater than `other`.
+  # *   `nil`, if the two values are incomparable.
   #
-  # `nil` is returned if the two values are incomparable.
+  # Examples:
   #
-  #     Rational(2, 3) <=> Rational(2, 3)  #=> 0
-  #     Rational(5)    <=> 5               #=> 0
-  #     Rational(2, 3) <=> Rational(1, 3)  #=> 1
-  #     Rational(1, 3) <=> 1               #=> -1
-  #     Rational(1, 3) <=> 0.3             #=> 1
+  #     Rational(2, 3) <=> Rational(4, 3) # => -1
+  #     Rational(2, 1) <=> Rational(2, 1) # => 0
+  #     Rational(2, 1) <=> 2              # => 0
+  #     Rational(2, 1) <=> 2.0            # => 0
+  #     Rational(2, 1) <=> Complex(2, 0)  # => 0
+  #     Rational(4, 3) <=> Rational(2, 3) # => 1
+  #     Rational(4, 3) <=> :foo           # => nil
   #
-  #     Rational(1, 3) <=> "0.3"           #=> nil
+  # Class Rational includes module Comparable, each of whose methods uses
+  # Rational#<=> for comparison.
   #
   def <=>: (Integer | Rational) -> Integer
          | (untyped) -> Integer?
@@ -188,12 +208,6 @@ class Rational < Numeric
   #
   def abs: () -> Rational
 
-  def abs2: () -> Rational
-
-  def angle: () -> (Integer | Float)
-
-  alias arg angle
-
   # <!--
   #   rdoc-file=rational.c
   #   - rat.ceil([ndigits])  ->  integer or rational
@@ -202,7 +216,7 @@ class Rational < Numeric
   # `ndigits` decimal digits (default: 0).
   #
   # When the precision is negative, the returned value is an integer with at least
-  # `ndigits.abs` trailing zeros.
+  # <code>ndigits.abs</code> trailing zeros.
   #
   # Returns a rational when `ndigits` is positive, otherwise returns an integer.
   #
@@ -222,10 +236,6 @@ class Rational < Numeric
 
   def coerce: (Numeric) -> [ Numeric, Numeric ]
 
-  def conj: () -> Rational
-
-  def conjugate: () -> Rational
-
   # <!--
   #   rdoc-file=rational.c
   #   - rat.denominator  ->  integer
@@ -239,15 +249,9 @@ class Rational < Numeric
   #
   def denominator: () -> Integer
 
-  def div: (Numeric) -> Integer
-
   def divmod: (Integer | Float | Rational) -> [ Integer, Rational ]
             | (Numeric) -> [ Numeric, Numeric ]
 
-  def dup: () -> self
-
-  def eql?: (untyped) -> bool
-
   # <!--
   #   rdoc-file=rational.c
   #   - rat.fdiv(numeric)  ->  float
@@ -260,8 +264,6 @@ class Rational < Numeric
   #
   def fdiv: (Numeric) -> Float
 
-  def finite?: () -> bool
-
   # <!--
   #   rdoc-file=rational.c
   #   - rat.floor([ndigits])  ->  integer or rational
@@ -270,7 +272,7 @@ class Rational < Numeric
   # `ndigits` decimal digits (default: 0).
   #
   # When the precision is negative, the returned value is an integer with at least
-  # `ndigits.abs` trailing zeros.
+  # <code>ndigits.abs</code> trailing zeros.
   #
   # Returns a rational when `ndigits` is positive, otherwise returns an integer.
   #
@@ -295,14 +297,6 @@ class Rational < Numeric
   #
   def hash: () -> Integer
 
-  def i: () -> Complex
-
-  def imag: () -> Integer
-
-  def imaginary: () -> Integer
-
-  def infinite?: () -> Integer?
-
   # <!--
   #   rdoc-file=rational.c
   #   - rat.inspect  ->  string
@@ -315,8 +309,6 @@ class Rational < Numeric
   #
   def inspect: () -> String
 
-  def integer?: () -> bool
-
   # <!-- rdoc-file=rational.c -->
   # Returns the absolute value of `rat`.
   #
@@ -336,8 +328,6 @@ class Rational < Numeric
   #
   def negative?: () -> bool
 
-  def nonzero?: () -> self?
-
   # <!--
   #   rdoc-file=rational.c
   #   - rat.numerator  ->  integer
@@ -351,8 +341,6 @@ class Rational < Numeric
   #
   def numerator: () -> Integer
 
-  alias phase angle
-
   def polar: () -> [ Rational, Integer | Float ]
 
   # <!--
@@ -364,7 +352,7 @@ class Rational < Numeric
   def positive?: () -> bool
 
   # <!-- rdoc-file=rational.c -->
-  # Performs division.
+  # Returns the quotient of `self` and `other`:
   #
   #     Rational(2, 3)  / Rational(2, 3)   #=> (1/1)
   #     Rational(900)   / Rational(1)      #=> (900/1)
@@ -391,14 +379,8 @@ class Rational < Numeric
   #
   def rationalize: (?Numeric eps) -> Rational
 
-  def real: () -> Rational
-
-  def real?: () -> true
-
   def rect: () -> [ Rational, Numeric ]
 
-  alias rectangular rect
-
   def remainder: (Float) -> Float
                | (Numeric) -> Rational
 
@@ -410,7 +392,7 @@ class Rational < Numeric
   # decimal digits (default: 0).
   #
   # When the precision is negative, the returned value is an integer with at least
-  # `ndigits.abs` trailing zeros.
+  # <code>ndigits.abs</code> trailing zeros.
   #
   # Returns a rational when `ndigits` is positive, otherwise returns an integer.
   #
@@ -440,13 +422,6 @@ class Rational < Numeric
   def round: (?half: :up | :down | :even) -> Integer
            | (Integer digits, ?half: :up | :down | :even) -> (Integer | Rational)
 
-  def step: (?Numeric limit, ?Numeric step) { (Rational) -> void } -> self
-          | (?Numeric limit, ?Numeric step) -> Enumerator[Rational, self]
-          | (?by: Numeric, ?to: Numeric) { (Rational) -> void } -> self
-          | (?by: Numeric, ?to: Numeric) -> Enumerator[Rational, self]
-
-  def to_c: () -> Complex
-
   # <!--
   #   rdoc-file=rational.c
   #   - rat.to_f  ->  float
@@ -476,8 +451,6 @@ class Rational < Numeric
   #
   def to_i: () -> Integer
 
-  alias to_int to_i
-
   # <!--
   #   rdoc-file=rational.c
   #   - rat.to_r  ->  self
@@ -509,7 +482,7 @@ class Rational < Numeric
   # digits (default: 0).
   #
   # When the precision is negative, the returned value is an integer with at least
-  # `ndigits.abs` trailing zeros.
+  # <code>ndigits.abs</code> trailing zeros.
   #
   # Returns a rational when `ndigits` is positive, otherwise returns an integer.
   #
@@ -526,6 +499,4 @@ class Rational < Numeric
   #
   def truncate: () -> Integer
               | (Integer ndigits) -> (Integer | Rational)
-
-  def zero?: () -> bool
 end

data/core/rbs/unnamed/argf.rbs

@@ -4,7 +4,7 @@ module RBS
     # ## ARGF and `ARGV`
     #
     # The ARGF object works with the array at global variable `ARGV` to make
-    # `$stdin` and file streams available in the Ruby program:
+    # <code>$stdin</code> and file streams available in the Ruby program:
     #
     # *   **ARGV** may be thought of as the **argument vector** array.
     #
@@ -13,9 +13,9 @@ module RBS
     #
     # *   **ARGF** may be thought of as the **argument files** object.
     #
-    #     It can access file streams and/or the `$stdin` stream, based on what it
-    #     finds in `ARGV`. This provides a convenient way for the command line to
-    #     specify streams for a Ruby program to read.
+    #     It can access file streams and/or the <code>$stdin</code> stream, based on
+    #     what it finds in `ARGV`. This provides a convenient way for the command
+    #     line to specify streams for a Ruby program to read.
     #
     # ## Reading
     #
@@ -24,16 +24,16 @@ module RBS
     #
     # ### Simplest Case
     #
-    # When the *very first* ARGF read occurs with an empty `ARGV` (`[]`), the source
-    # is `$stdin`:
+    # When the *very first* ARGF read occurs with an empty `ARGV` (<code>[]</code>),
+    # the source is <code>$stdin</code>:
     #
-    # *   File `t.rb`:
+    # *   File <code>t.rb</code>:
     #
     #         p ['ARGV', ARGV]
     #         p ['ARGF.read', ARGF.read]
     #
-    # *   Commands and outputs (see below for the content of files `foo.txt` and
-    #     `bar.txt`):
+    # *   Commands and outputs (see below for the content of files
+    #     <code>foo.txt</code> and <code>bar.txt</code>):
     #
     #         $ echo "Open the pod bay doors, Hal." | ruby t.rb
     #         ["ARGV", []]
@@ -45,7 +45,8 @@ module RBS
     #
     # ### About the Examples
     #
-    # Many examples here assume the existence of files `foo.txt` and `bar.txt`:
+    # Many examples here assume the existence of files <code>foo.txt</code> and
+    # <code>bar.txt</code>:
     #
     #     $ cat foo.txt
     #     Foo 0
@@ -66,19 +67,20 @@ module RBS
     # one of:
     #
     # *   The string path to a file that may be opened as a stream.
-    # *   The character `'-'`, meaning stream `$stdin`.
+    # *   The character <code>'-'</code>, meaning stream <code>$stdin</code>.
     #
     # Each element that is *not* one of these should be removed from `ARGV` before
     # ARGF accesses that source.
     #
     # In the following example:
     #
-    # *   Filepaths `foo.txt` and `bar.txt` may be retained as potential sources.
-    # *   Options `--xyzzy` and `--mojo` should be removed.
+    # *   Filepaths <code>foo.txt</code> and <code>bar.txt</code> may be retained as
+    #     potential sources.
+    # *   Options <code>--xyzzy</code> and <code>--mojo</code> should be removed.
     #
     # Example:
     #
-    # *   File `t.rb`:
+    # *   File <code>t.rb</code>:
     #
     #         # Print arguments (and options, if any) found on command line.
     #         p ['ARGV', ARGV]
@@ -90,10 +92,10 @@ module RBS
     #
     # ARGF's stream access considers the elements of `ARGV`, left to right:
     #
-    # *   File `t.rb`:
+    # *   File <code>t.rb</code>:
     #
     #         p "ARGV: #{ARGV}"
-    #         p "Line: #{ARGF.read}" # Read everything from all specified streams.
+    #         p "Read: #{ARGF.read}" # Read everything from all specified streams.
     #
     # *   Command and output:
     #
@@ -112,7 +114,7 @@ module RBS
     # Each element in `ARGV` is removed when its corresponding source is accessed;
     # when all sources have been accessed, the array is empty:
     #
-    # *   File `t.rb`:
+    # *   File <code>t.rb</code>:
     #
     #         until ARGV.empty? && ARGF.eof?
     #           p "ARGV: #{ARGV}"
@@ -142,7 +144,7 @@ module RBS
     # This program prints what it reads from files at the paths specified on the
     # command line:
     #
-    # *   File `t.rb`:
+    # *   File <code>t.rb</code>:
     #
     #         p ['ARGV', ARGV]
     #         # Read and print all content from the specified sources.
@@ -154,11 +156,12 @@ module RBS
     #         ["ARGV", [foo.txt, bar.txt]
     #         ["ARGF.read", "Foo 0\nFoo 1\nBar 0\nBar 1\nBar 2\nBar 3\n"]
     #
-    # #### Specifying `$stdin` in `ARGV`
+    # #### Specifying <code>$stdin</code> in `ARGV`
     #
-    # To specify stream `$stdin` in `ARGV`, us the character `'-'`:
+    # To specify stream <code>$stdin</code> in `ARGV`, us the character
+    # <code>'-'</code>:
     #
-    # *   File `t.rb`:
+    # *   File <code>t.rb</code>:
     #
     #         p ['ARGV', ARGV]
     #         p ['ARGF.read', ARGF.read]
@@ -169,8 +172,9 @@ module RBS
     #         ["ARGV", ["-"]]
     #         ["ARGF.read", "Open the pod bay doors, Hal.\n"]
     #
-    # When no character `'-'` is given, stream `$stdin` is ignored (exception: see
-    # [Specifying $stdin in ARGV](rdoc-ref:ARGF@Specifying+-24stdin+in+ARGV)):
+    # When no character <code>'-'</code> is given, stream <code>$stdin</code> is
+    # ignored (exception: see [Specifying $stdin in
+    # ARGV](rdoc-ref:ARGF@Specifying+-24stdin+in+ARGV)):
     #
     # *   Command and output:
     #
@@ -181,7 +185,7 @@ module RBS
     # #### Mixtures and Repetitions in `ARGV`
     #
     # For an ARGF reader, `ARGV` may contain any mixture of filepaths and character
-    # `'-'`, including repetitions.
+    # <code>'-'</code>, including repetitions.
     #
     # #### Modifications to `ARGV`
     #
@@ -208,13 +212,13 @@ module RBS
     # ### About Enumerable
     #
     # ARGF includes module Enumerable. Virtually all methods in Enumerable call
-    # method `#each` in the including class.
+    # method <code>#each</code> in the including class.
     #
     # **Note well**: In ARGF, method #each returns data from the *sources*, *not*
-    # from `ARGV`; therefore, for example, `ARGF#entries` returns an array of lines
-    # from the sources, not an array of the strings from `ARGV`:
+    # from `ARGV`; therefore, for example, <code>ARGF#entries</code> returns an
+    # array of lines from the sources, not an array of the strings from `ARGV`:
     #
-    # *   File `t.rb`:
+    # *   File <code>t.rb</code>:
     #
     #         p ['ARGV', ARGV]
     #         p ['ARGF.entries', ARGF.entries]
@@ -521,8 +525,8 @@ module RBS
       #   rdoc-file=io.c
       #   - ARGF.file  -> IO or File object
       # -->
-      # Returns the current file as an IO or File object. `$stdin` is returned when
-      # the current file is STDIN.
+      # Returns the current file as an IO or File object. <code>$stdin</code> is
+      # returned when the current file is STDIN.
       #
       # For example:
       #
@@ -630,8 +634,9 @@ module RBS
       # -->
       # Returns the next line from the current file in ARGF.
       #
-      # By default lines are assumed to be separated by `$/`; to use a different
-      # character as a separator, supply it as a String for the *sep* argument.
+      # By default lines are assumed to be separated by <code>$/</code>; to use a
+      # different character as a separator, supply it as a String for the *sep*
+      # argument.
       #
       # The optional *limit* argument specifies how many characters of each line to
       # return. By default all characters are returned.
@@ -647,7 +652,7 @@ module RBS
       # -->
       # Returns the file extension appended to the names of backup copies of modified
       # files under in-place edit mode. This value can be set using ARGF.inplace_mode=
-      # or passing the `-i` switch to the Ruby binary.
+      # or passing the <code>-i</code> switch to the Ruby binary.
       #
       %a{annotate:rdoc:copy:ARGF#inplace_mode}
       def inplace_mode: () -> String?
@@ -668,8 +673,9 @@ module RBS
       #       print line.sub("foo","bar")
       #     end
       #
-      # First, *file.txt.bak* is created as a backup copy of *file.txt*. Then, each
-      # line of *file.txt* has the first occurrence of "foo" replaced with "bar".
+      # First, <em>file.txt.bak</em> is created as a backup copy of <em>file.txt</em>.
+      # Then, each line of <em>file.txt</em> has the first occurrence of "foo"
+      # replaced with "bar".
       #
       %a{annotate:rdoc:copy:ARGF#inplace_mode=}
       def inplace_mode=: (String) -> self
@@ -684,10 +690,10 @@ module RBS
       # object.
       #
       # If ARGF.set_encoding has been called with two encoding names, the second is
-      # returned. Otherwise, if `Encoding.default_external` has been set, that value
-      # is returned. Failing that, if a default external encoding was specified on the
-      # command-line, that value is used. If the encoding is unknown, `nil` is
-      # returned.
+      # returned. Otherwise, if <code>Encoding.default_external</code> has been set,
+      # that value is returned. Failing that, if a default external encoding was
+      # specified on the command-line, that value is used. If the encoding is unknown,
+      # `nil` is returned.
       #
       %a{annotate:rdoc:copy:ARGF#internal_encoding}
       def internal_encoding: () -> Encoding
@@ -778,15 +784,15 @@ module RBS
       #   - print(*objects) -> nil
       # -->
       # Writes the given objects to the stream; returns `nil`. Appends the output
-      # record separator `$OUTPUT_RECORD_SEPARATOR` (`$\`), if it is not `nil`. See
-      # [Line IO](rdoc-ref:IO@Line+IO).
+      # record separator <code>$OUTPUT_RECORD_SEPARATOR</code> (<code>$\</code>), if
+      # it is not `nil`. See [Line IO](rdoc-ref:IO@Line+IO).
       #
       # With argument `objects` given, for each object:
       #
       # *   Converts via its method `to_s` if not a string.
       # *   Writes to the stream.
       # *   If not the last object, writes the output field separator
-      #     `$OUTPUT_FIELD_SEPARATOR` (`$,`) if it is not `nil`.
+      #     <code>$OUTPUT_FIELD_SEPARATOR</code> (<code>$,</code>) if it is not `nil`.
       #
       # With default separators:
       #
@@ -818,8 +824,8 @@ module RBS
       #
       #     "0,0.0,0/1,0+0i,zero,zero\n"
       #
-      # With no argument given, writes the content of `$_` (which is usually the most
-      # recent user input):
+      # With no argument given, writes the content of <code>$_</code> (which is
+      # usually the most recent user input):
       #
       #     f = File.open('t.tmp', 'w+')
       #     gets # Sets $_ to the most recent user input.
@@ -836,7 +842,7 @@ module RBS
       # Formats and writes `objects` to the stream.
       #
       # For details on `format_string`, see [Format
-      # Specifications](rdoc-ref:format_specifications.rdoc).
+      # Specifications](rdoc-ref:language/format_specifications.rdoc).
       #
       %a{annotate:rdoc:copy:ARGF#printf}
       def printf: (String format_string, *untyped args) -> nil
@@ -871,13 +877,13 @@ module RBS
       # newline sequence. If called without arguments, writes a newline. See [Line
       # IO](rdoc-ref:IO@Line+IO).
       #
-      # Note that each added newline is the character `"\n"<//tt>, not the output
-      # record separator (<tt>$\`).
+      # Note that each added newline is the character <code>"\n"<//tt>, not the output
+      # record separator (<tt>$\</code>).
       #
       # Treatment for each object:
       #
       # *   String: writes the string.
-      # *   Neither string nor array: writes `object.to_s`.
+      # *   Neither string nor array: writes <code>object.to_s</code>.
       # *   Array: writes each element of the array; arrays may be nested.
       #
       # To keep these examples brief, we define this helper method:
@@ -930,7 +936,7 @@ module RBS
       # conversion is applied, if applicable. A string is returned even if EOF is
       # encountered before any data is read.
       #
-      # If *length* is zero, it returns an empty string (`""`).
+      # If *length* is zero, it returns an empty string (<code>""</code>).
       #
       # If the optional *outbuf* argument is present, it must reference a String,
       # which will receive the data. The *outbuf* will contain only the received data
@@ -1015,8 +1021,9 @@ module RBS
       # -->
       # Returns the next line from the current file in ARGF.
       #
-      # By default lines are assumed to be separated by `$/`; to use a different
-      # character as a separator, supply it as a String for the *sep* argument.
+      # By default lines are assumed to be separated by <code>$/</code>; to use a
+      # different character as a separator, supply it as a String for the *sep*
+      # argument.
       #
       # The optional *limit* argument specifies how many characters of each line to
       # return. By default all characters are returned.
@@ -1041,7 +1048,7 @@ module RBS
       #     lines = ARGF.readlines
       #     lines[0]                #=> "This is line one\n"
       #
-      # See `IO.readlines` for a full description of all options.
+      # See <code>IO.readlines</code> for a full description of all options.
       #
       %a{annotate:rdoc:copy:ARGF#readlines}
       def readlines: (?String sep, ?Integer limit, ?chomp: boolish) -> ::Array[String]
@@ -1161,7 +1168,7 @@ module RBS
       #     lines = ARGF.readlines
       #     lines[0]                #=> "This is line one\n"
       #
-      # See `IO.readlines` for a full description of all options.
+      # See <code>IO.readlines</code> for a full description of all options.
       #
       %a{annotate:rdoc:copy:ARGF#to_a}
       def to_a: (?String sep, ?Integer limit) -> ::Array[String]