rbs-relaxed 3.9.0.1

data/stdlib/pp/0/manifest.yaml

@@ -0,0 +1,2 @@
+dependencies:
+  - name: prettyprint

data/stdlib/pp/0/pp.rbs

@@ -0,0 +1,300 @@
+# <!-- rdoc-file=lib/pp.rb -->
+# A pretty-printer for Ruby objects.
+#
+# ## What PP Does
+#
+# Standard output by #p returns this:
+#     #<PP:0x81fedf0 @genspace=#<Proc:0x81feda0>, @group_queue=#<PrettyPrint::GroupQueue:0x81fed3c @queue=[[#<PrettyPrint::Group:0x81fed78 @breakables=[], @depth=0, @break=false>], []]>, @buffer=[], @newline="\n", @group_stack=[#<PrettyPrint::Group:0x81fed78 @breakables=[], @depth=0, @break=false>], @buffer_width=0, @indent=0, @maxwidth=79, @output_width=2, @output=#<IO:0x8114ee4>>
+#
+# Pretty-printed output returns this:
+#     #<PP:0x81fedf0
+#      @buffer=[],
+#      @buffer_width=0,
+#      @genspace=#<Proc:0x81feda0>,
+#      @group_queue=
+#       #<PrettyPrint::GroupQueue:0x81fed3c
+#        @queue=
+#         [[#<PrettyPrint::Group:0x81fed78 @break=false, @breakables=[], @depth=0>],
+#          []]>,
+#      @group_stack=
+#       [#<PrettyPrint::Group:0x81fed78 @break=false, @breakables=[], @depth=0>],
+#      @indent=0,
+#      @maxwidth=79,
+#      @newline="\n",
+#      @output=#<IO:0x8114ee4>,
+#      @output_width=2>
+#
+# ## Usage
+#
+#     pp(obj)             #=> obj
+#     pp obj              #=> obj
+#     pp(obj1, obj2, ...) #=> [obj1, obj2, ...]
+#     pp()                #=> nil
+#
+# Output `obj(s)` to `$>` in pretty printed format.
+#
+# It returns `obj(s)`.
+#
+# ## Output Customization
+#
+# To define a customized pretty printing function for your classes, redefine
+# method `#pretty_print(pp)` in the class. Note that `require 'pp'` is needed
+# before redefining `#pretty_print(pp)`.
+#
+# `#pretty_print` takes the `pp` argument, which is an instance of the PP class.
+# The method uses #text, #breakable, #nest, #group and #pp to print the object.
+#
+# ## Pretty-Print JSON
+#
+# To pretty-print JSON refer to JSON#pretty_generate.
+#
+# ## Author
+# Tanaka Akira <akr@fsij.org>
+#
+class PP < PrettyPrint
+  interface _PrettyPrint
+    def pretty_print: (untyped q) -> untyped
+
+    def pretty_print_cycle: (untyped q) -> untyped
+
+    def is_a?: (Module) -> bool
+  end
+
+  interface _LeftShift
+    def <<: (untyped obj) -> self
+  end
+
+  interface _PPMethodsRequired
+    def text: (String obj, ?Integer width) -> void
+
+    def breakable: (?String sep, ?Integer width) -> void
+
+    def group: (?Integer indent, ?String open_obj, ?String close_obj, ?Integer open_width, ?Integer close_width) { () -> untyped } -> void
+  end
+
+  # <!-- rdoc-file=lib/pp.rb -->
+  # Module that defines helper methods for pretty_print.
+  #
+  module PPMethods : _PPMethodsRequired
+    # <!--
+    #   rdoc-file=lib/pp.rb
+    #   - guard_inspect_key() { || ... }
+    # -->
+    # Yields to a block and preserves the previous set of objects being printed.
+    #
+    def guard_inspect_key: () { () -> untyped } -> void
+
+    # <!--
+    #   rdoc-file=lib/pp.rb
+    #   - check_inspect_key(id)
+    # -->
+    # Check whether the object_id `id` is in the current buffer of objects to be
+    # pretty printed. Used to break cycles in chains of objects to be pretty
+    # printed.
+    #
+    def check_inspect_key: (_PrettyPrint id) -> bool
+
+    # <!--
+    #   rdoc-file=lib/pp.rb
+    #   - push_inspect_key(id)
+    # -->
+    # Adds the object_id `id` to the set of objects being pretty printed, so as to
+    # not repeat objects.
+    #
+    def push_inspect_key: (_PrettyPrint id) -> void
+
+    # <!--
+    #   rdoc-file=lib/pp.rb
+    #   - pop_inspect_key(id)
+    # -->
+    # Removes an object from the set of objects being pretty printed.
+    #
+    def pop_inspect_key: (_PrettyPrint id) -> void
+
+    # <!--
+    #   rdoc-file=lib/pp.rb
+    #   - pp(obj)
+    # -->
+    # Adds `obj` to the pretty printing buffer using Object#pretty_print or
+    # Object#pretty_print_cycle.
+    #
+    # Object#pretty_print_cycle is used when `obj` is already printed, a.k.a the
+    # object reference chain has a cycle.
+    #
+    def pp: (_PrettyPrint obj) -> untyped
+
+    # <!--
+    #   rdoc-file=lib/pp.rb
+    #   - object_group(obj) { || ... }
+    # -->
+    # A convenience method which is same as follows:
+    #
+    #     group(1, '#<' + obj.class.name, '>') { ... }
+    #
+    def object_group: (untyped obj) { () -> untyped } -> Integer
+
+    # <!--
+    #   rdoc-file=lib/pp.rb
+    #   - object_address_group(obj, &block)
+    # -->
+    # A convenience method, like object_group, but also reformats the Object's
+    # object_id.
+    #
+    def object_address_group: (untyped obj) { () -> untyped } -> Integer
+
+    # <!--
+    #   rdoc-file=lib/pp.rb
+    #   - comma_breakable()
+    # -->
+    # A convenience method which is same as follows:
+    #
+    #     text ','
+    #     breakable
+    #
+    def comma_breakable: () -> void
+
+    # <!--
+    #   rdoc-file=lib/pp.rb
+    #   - seplist(list, sep=nil, iter_method=:each) { |element| ... }
+    # -->
+    # Adds a separated list. The list is separated by comma with breakable space, by
+    # default.
+    #
+    # #seplist iterates the `list` using `iter_method`. It yields each object to the
+    # block given for #seplist. The procedure `separator_proc` is called between
+    # each yields.
+    #
+    # If the iteration is zero times, `separator_proc` is not called at all.
+    #
+    # If `separator_proc` is nil or not given, +lambda { comma_breakable }+ is used.
+    # If `iter_method` is not given, :each is used.
+    #
+    # For example, following 3 code fragments has similar effect.
+    #
+    #     q.seplist([1,2,3]) {|v| xxx v }
+    #
+    #     q.seplist([1,2,3], lambda { q.comma_breakable }, :each) {|v| xxx v }
+    #
+    #     xxx 1
+    #     q.comma_breakable
+    #     xxx 2
+    #     q.comma_breakable
+    #     xxx 3
+    #
+    def seplist: (untyped list, ?(^() -> void)? sep, ?interned iter_method) { (*untyped, **untyped) -> void } -> void
+
+    # <!--
+    #   rdoc-file=lib/pp.rb
+    #   - pp_object(obj)
+    # -->
+    # A present standard failsafe for pretty printing any given Object
+    #
+    def pp_object: (untyped obj) -> untyped
+
+    # <!--
+    #   rdoc-file=lib/pp.rb
+    #   - pp_hash(obj)
+    # -->
+    # A pretty print for a Hash
+    #
+    def pp_hash: (untyped obj) -> untyped
+  end
+  include PPMethods
+
+  class SingleLine < ::PrettyPrint::SingleLine
+    include PPMethods
+  end
+
+  module ObjectMixin : BasicObject
+    def pretty_print: (PP q) -> untyped
+
+    def pretty_print_cycle: (PP q) -> untyped
+
+    def pretty_print_instance_variables: () -> Array[Symbol]
+
+    def pretty_print_inspect: () -> untyped
+  end
+
+  # <!--
+  #   rdoc-file=lib/pp.rb
+  #   - width_for(out)
+  # -->
+  # Returns the usable width for `out`. As the width of `out`:
+  # 1.  If `out` is assigned to a tty device, its width is used.
+  # 2.  Otherwise, or it could not get the value, the `COLUMN` environment
+  #     variable is assumed to be set to the width.
+  # 3.  If `COLUMN` is not set to a non-zero number, 80 is assumed.
+  #
+  # And finally, returns the above width value - 1.
+  # *   This -1 is for Windows command prompt, which moves the cursor to the next
+  #     line if it reaches the last column.
+  #
+  def self.width_for: (untyped out) -> Integer
+
+  # <!--
+  #   rdoc-file=lib/pp.rb
+  #   - pp(obj, out=$>, width=width_for(out))
+  # -->
+  # Outputs `obj` to `out` in pretty printed format of `width` columns in width.
+  #
+  # If `out` is omitted, `$>` is assumed. If `width` is omitted, the width of
+  # `out` is assumed (see width_for).
+  #
+  # PP.pp returns `out`.
+  #
+  def self.pp: (_PrettyPrint obj, ?_LeftShift out, ?Integer width) -> untyped
+
+  # <!--
+  #   rdoc-file=lib/pp.rb
+  #   - singleline_pp(obj, out=$>)
+  # -->
+  # Outputs `obj` to `out` like PP.pp but with no indent and newline.
+  #
+  # PP.singleline_pp returns `out`.
+  #
+  def self.singleline_pp: (_PrettyPrint obj, ?_LeftShift out) -> untyped
+  def self.mcall: (untyped obj, Module mod, interned meth, *untyped args) ?{ (*untyped, **untyped) -> untyped } -> untyped
+
+  # <!--
+  #   rdoc-file=lib/pp.rb
+  #   - sharing_detection()
+  # -->
+  # Returns the sharing detection flag as a boolean value. It is false (nil) by
+  # default.
+  # ----
+  # <!--
+  #   rdoc-file=lib/pp.rb
+  #   - sharing_detection=(b)
+  # -->
+  # Sets the sharing detection flag to b.
+  #
+  attr_accessor self.sharing_detection: bool?
+end
+
+%a{annotate:rdoc:skip}
+class RubyVM::AbstractSyntaxTree::Node
+  # <!--
+  #   rdoc-file=lib/pp.rb
+  #   - pretty_print_children(q, names = [])
+  # -->
+  #
+  def pretty_print_children: (PP q, ?Array[untyped] names) -> void
+end
+
+%a{annotate:rdoc:skip}
+class Object
+  include PP::ObjectMixin
+end
+
+%a{annotate:rdoc:skip}
+module Kernel
+  # <!--
+  #   rdoc-file=lib/pp.rb
+  #   - pretty_inspect()
+  # -->
+  # Returns a pretty printed object as a string.
+  #
+  # See the PP module for more information.
+  #
+  def pretty_inspect: () -> String
+end

data/stdlib/prettyprint/0/prettyprint.rbs

@@ -0,0 +1,383 @@
+# <!-- rdoc-file=lib/prettyprint.rb -->
+# This class implements a pretty printing algorithm. It finds line breaks and
+# nice indentations for grouped structure.
+#
+# By default, the class assumes that primitive elements are strings and each
+# byte in the strings have single column in width. But it can be used for other
+# situations by giving suitable arguments for some methods:
+# *   newline object and space generation block for PrettyPrint.new
+# *   optional width argument for PrettyPrint#text
+# *   PrettyPrint#breakable
+#
+# There are several candidate uses:
+# *   text formatting using proportional fonts
+# *   multibyte characters which has columns different to number of bytes
+# *   non-string formatting
+#
+# ## Bugs
+# *   Box based formatting?
+# *   Other (better) model/algorithm?
+#
+# Report any bugs at http://bugs.ruby-lang.org
+#
+# ## References
+# Christian Lindig, Strictly Pretty, March 2000,
+# https://lindig.github.io/papers/strictly-pretty-2000.pdf
+#
+# Philip Wadler, A prettier printer, March 1998,
+# https://homepages.inf.ed.ac.uk/wadler/topics/language-design.html#prettier
+#
+# ## Author
+# Tanaka Akira <akr@fsij.org>
+#
+class PrettyPrint
+  interface _Output
+    def <<: (String) -> void
+  end
+
+  # <!--
+  #   rdoc-file=lib/prettyprint.rb
+  #   - format(output=''.dup, maxwidth=79, newline="\n", genspace=lambda {|n| ' ' * n}) { |q| ... }
+  # -->
+  # This is a convenience method which is same as follows:
+  #
+  #     begin
+  #       q = PrettyPrint.new(output, maxwidth, newline, &genspace)
+  #       ...
+  #       q.flush
+  #       output
+  #     end
+  #
+  def self.format: (?untyped output, ?Integer maxwidth, ?String newline, ?^(Integer) -> Integer genspace) { (PrettyPrint) -> untyped } -> _Output
+
+  # <!--
+  #   rdoc-file=lib/prettyprint.rb
+  #   - singleline_format(output=''.dup, maxwidth=nil, newline=nil, genspace=nil) { |q| ... }
+  # -->
+  # This is similar to PrettyPrint::format but the result has no breaks.
+  #
+  # `maxwidth`, `newline` and `genspace` are ignored.
+  #
+  # The invocation of `breakable` in the block doesn't break a line and is treated
+  # as just an invocation of `text`.
+  #
+  def self.singleline_format: (?untyped output, ?Integer? maxwidth, ?String? newline, ?^(Integer) -> Integer? genspace) { (PrettyPrint::SingleLine) -> untyped } -> _Output
+
+  # <!--
+  #   rdoc-file=lib/prettyprint.rb
+  #   - new(output=''.dup, maxwidth=79, newline="\n", &genspace)
+  # -->
+  # Creates a buffer for pretty printing.
+  #
+  # `output` is an output target. If it is not specified, '' is assumed. It should
+  # have a << method which accepts the first argument `obj` of PrettyPrint#text,
+  # the first argument `sep` of PrettyPrint#breakable, the first argument
+  # `newline` of PrettyPrint.new, and the result of a given block for
+  # PrettyPrint.new.
+  #
+  # `maxwidth` specifies maximum line length. If it is not specified, 79 is
+  # assumed. However actual outputs may overflow `maxwidth` if long non-breakable
+  # texts are provided.
+  #
+  # `newline` is used for line breaks. "n" is used if it is not specified.
+  #
+  # The block is used to generate spaces. {|width| ' ' * width} is used if it is
+  # not given.
+  #
+  def initialize: (?untyped output, ?Integer maxwidth, ?String newline, ?^(Integer) -> Integer genspace) -> void
+
+  # <!-- rdoc-file=lib/prettyprint.rb -->
+  # The output object.
+  #
+  # This defaults to '', and should accept the << method
+  #
+  attr_reader output: _Output
+
+  # <!-- rdoc-file=lib/prettyprint.rb -->
+  # The maximum width of a line, before it is separated in to a newline
+  #
+  # This defaults to 79, and should be an Integer
+  #
+  attr_reader maxwidth: Integer
+
+  # <!-- rdoc-file=lib/prettyprint.rb -->
+  # The value that is appended to `output` to add a new line.
+  #
+  # This defaults to "n", and should be String
+  #
+  attr_reader newline: String
+
+  # <!-- rdoc-file=lib/prettyprint.rb -->
+  # A lambda or Proc, that takes one argument, of an Integer, and returns the
+  # corresponding number of spaces.
+  #
+  # By default this is:
+  #     lambda {|n| ' ' * n}
+  #
+  attr_reader genspace: Proc
+
+  # <!-- rdoc-file=lib/prettyprint.rb -->
+  # The number of spaces to be indented
+  #
+  attr_reader indent: Integer
+
+  # <!-- rdoc-file=lib/prettyprint.rb -->
+  # The PrettyPrint::GroupQueue of groups in stack to be pretty printed
+  #
+  attr_reader group_queue: PrettyPrint::GroupQueue
+
+  # <!--
+  #   rdoc-file=lib/prettyprint.rb
+  #   - current_group()
+  # -->
+  # Returns the group most recently added to the stack.
+  #
+  # Contrived example:
+  #     out = ""
+  #     => ""
+  #     q = PrettyPrint.new(out)
+  #     => #<PrettyPrint:0x82f85c0 @output="", @maxwidth=79, @newline="\n", @genspace=#<Proc:0x82f8368@/home/vbatts/.rvm/rubies/ruby-head/lib/ruby/2.0.0/prettyprint.rb:82 (lambda)>, @output_width=0, @buffer_width=0, @buffer=[], @group_stack=[#<PrettyPrint::Group:0x82f8138 @depth=0, @breakables=[], @break=false>], @group_queue=#<PrettyPrint::GroupQueue:0x82fb7c0 @queue=[[#<PrettyPrint::Group:0x82f8138 @depth=0, @breakables=[], @break=false>]]>, @indent=0>
+  #     q.group {
+  #       q.text q.current_group.inspect
+  #       q.text q.newline
+  #       q.group(q.current_group.depth + 1) {
+  #         q.text q.current_group.inspect
+  #         q.text q.newline
+  #         q.group(q.current_group.depth + 1) {
+  #           q.text q.current_group.inspect
+  #           q.text q.newline
+  #           q.group(q.current_group.depth + 1) {
+  #             q.text q.current_group.inspect
+  #             q.text q.newline
+  #           }
+  #         }
+  #       }
+  #     }
+  #     => 284
+  #      puts out
+  #     #<PrettyPrint::Group:0x8354758 @depth=1, @breakables=[], @break=false>
+  #     #<PrettyPrint::Group:0x8354550 @depth=2, @breakables=[], @break=false>
+  #     #<PrettyPrint::Group:0x83541cc @depth=3, @breakables=[], @break=false>
+  #     #<PrettyPrint::Group:0x8347e54 @depth=4, @breakables=[], @break=false>
+  #
+  def current_group: () -> PrettyPrint::Group
+
+  # <!--
+  #   rdoc-file=lib/prettyprint.rb
+  #   - break_outmost_groups()
+  # -->
+  # Breaks the buffer into lines that are shorter than #maxwidth
+  #
+  def break_outmost_groups: () -> untyped
+
+  # <!--
+  #   rdoc-file=lib/prettyprint.rb
+  #   - text(obj, width=obj.length)
+  # -->
+  # This adds `obj` as a text of `width` columns in width.
+  #
+  # If `width` is not specified, obj.length is used.
+  #
+  def text: (String obj, ?Integer width) -> void
+
+  # <!--
+  #   rdoc-file=lib/prettyprint.rb
+  #   - fill_breakable(sep=' ', width=sep.length)
+  # -->
+  # This is similar to #breakable except the decision to break or not is
+  # determined individually.
+  #
+  # Two #fill_breakable under a group may cause 4 results: (break,break),
+  # (break,non-break), (non-break,break), (non-break,non-break). This is different
+  # to #breakable because two #breakable under a group may cause 2 results:
+  # (break,break), (non-break,non-break).
+  #
+  # The text `sep` is inserted if a line is not broken at this point.
+  #
+  # If `sep` is not specified, " " is used.
+  #
+  # If `width` is not specified, `sep.length` is used. You will have to specify
+  # this when `sep` is a multibyte character, for example.
+  #
+  def fill_breakable: (?String sep, ?Integer width) -> void
+
+  # <!--
+  #   rdoc-file=lib/prettyprint.rb
+  #   - breakable(sep=' ', width=sep.length)
+  # -->
+  # This says "you can break a line here if necessary", and a `width`-column text
+  # `sep` is inserted if a line is not broken at the point.
+  #
+  # If `sep` is not specified, " " is used.
+  #
+  # If `width` is not specified, `sep.length` is used. You will have to specify
+  # this when `sep` is a multibyte character, for example.
+  #
+  def breakable: (?String sep, ?Integer width) -> void
+
+  # <!--
+  #   rdoc-file=lib/prettyprint.rb
+  #   - group(indent=0, open_obj='', close_obj='', open_width=open_obj.length, close_width=close_obj.length) { || ... }
+  # -->
+  # Groups line break hints added in the block. The line break hints are all to be
+  # used or not.
+  #
+  # If `indent` is specified, the method call is regarded as nested by
+  # nest(indent) { ... }.
+  #
+  # If `open_obj` is specified, `text open_obj, open_width` is called before
+  # grouping. If `close_obj` is specified, `text close_obj, close_width` is called
+  # after grouping.
+  #
+  def group: (?::Integer indent, ?::String open_obj, ?::String close_obj, ?Integer open_width, ?Integer close_width) { () -> untyped } -> Integer
+
+  # <!--
+  #   rdoc-file=lib/prettyprint.rb
+  #   - group_sub() { || ... }
+  # -->
+  # Takes a block and queues a new group that is indented 1 level further.
+  #
+  def group_sub: () { () -> untyped } -> untyped
+
+  # <!--
+  #   rdoc-file=lib/prettyprint.rb
+  #   - nest(indent) { || ... }
+  # -->
+  # Increases left margin after newline with `indent` for line breaks added in the
+  # block.
+  #
+  def nest: (Integer indent) { () -> untyped } -> void
+
+  # <!--
+  #   rdoc-file=lib/prettyprint.rb
+  #   - flush()
+  # -->
+  # outputs buffered data.
+  #
+  def flush: () -> Integer
+
+  class Text
+    def initialize: () -> void
+
+    attr_reader width: Integer
+
+    def output: (untyped `out`, untyped output_width) -> untyped
+
+    def add: (untyped obj, Integer width) -> void
+  end
+
+  class Breakable
+    def initialize: (String sep, Integer width, PrettyPrint q) -> void
+
+    attr_reader obj: String
+
+    attr_reader width: Integer
+
+    attr_reader indent: Integer
+
+    def output: (untyped `out`, Integer output_width) -> untyped
+  end
+
+  class Group
+    def initialize: (untyped depth) -> void
+
+    attr_reader depth: untyped
+
+    attr_reader breakables: Array[PrettyPrint::Breakable]
+
+    def break: () -> bool
+
+    def break?: () -> bool
+
+    def first?: () -> bool
+  end
+
+  class GroupQueue
+    def initialize: (*untyped groups) -> void
+
+    def enq: (untyped group) -> void
+
+    def deq: () -> (PrettyPrint::Group | nil)
+
+    def delete: (PrettyPrint::Group group) -> void
+  end
+
+  # <!-- rdoc-file=lib/prettyprint.rb -->
+  # PrettyPrint::SingleLine is used by PrettyPrint.singleline_format
+  #
+  # It is passed to be similar to a PrettyPrint object itself, by responding to:
+  # *   #text
+  # *   #breakable
+  # *   #nest
+  # *   #group
+  # *   #flush
+  # *   #first?
+  #
+  # but instead, the output has no line breaks
+  #
+  class SingleLine
+    # <!--
+    #   rdoc-file=lib/prettyprint.rb
+    #   - new(output, maxwidth=nil, newline=nil)
+    # -->
+    # Create a PrettyPrint::SingleLine object
+    #
+    # Arguments:
+    # *   `output` - String (or similar) to store rendered text. Needs to respond to
+    #     '<<'
+    # *   `maxwidth` - Argument position expected to be here for compatibility.
+    #         This argument is a noop.
+    #
+    # *   `newline` - Argument position expected to be here for compatibility.
+    #         This argument is a noop.
+    #
+    def initialize: (String | untyped output, ?Integer? maxwidth, ?String? newline) -> void
+
+    # <!--
+    #   rdoc-file=lib/prettyprint.rb
+    #   - text(obj, width=nil)
+    # -->
+    # Add `obj` to the text to be output.
+    #
+    # `width` argument is here for compatibility. It is a noop argument.
+    #
+    def text: (String obj, ?Integer? width) -> void
+
+    # <!--
+    #   rdoc-file=lib/prettyprint.rb
+    #   - breakable(sep=' ', width=nil)
+    # -->
+    # Appends `sep` to the text to be output. By default `sep` is ' '
+    #
+    # `width` argument is here for compatibility. It is a noop argument.
+    #
+    def breakable: (?String sep, ?Integer? width) -> void
+
+    def nest: (untyped indent) { () -> untyped } -> void
+
+    # <!--
+    #   rdoc-file=lib/prettyprint.rb
+    #   - group(indent=nil, open_obj='', close_obj='', open_width=nil, close_width=nil) { || ... }
+    # -->
+    # Opens a block for grouping objects to be pretty printed.
+    #
+    # Arguments:
+    # *   `indent` - noop argument. Present for compatibility.
+    # *   `open_obj` - text appended before the &blok. Default is ''
+    # *   `close_obj` - text appended after the &blok. Default is ''
+    # *   `open_width` - noop argument. Present for compatibility.
+    # *   `close_width` - noop argument. Present for compatibility.
+    #
+    def group: (?Integer? indent, ?String open_obj, ?String close_obj, ?Integer? open_width, ?Integer? close_width) { () -> untyped } -> untyped
+
+    def flush: () -> nil
+
+    # <!--
+    #   rdoc-file=lib/prettyprint.rb
+    #   - first?()
+    # -->
+    # This is used as a predicate, and ought to be called first.
+    #
+    def first?: () -> bool
+  end
+end