rbi 0.2.4 → 0.3.0

data/rbi/rbi.rbi

@@ -0,0 +1,4686 @@
+# typed: true
+
+# DO NOT EDIT MANUALLY
+# This is an autogenerated file for types exported from the `rbi` gem.
+# Please instead update this file by running `bin/tapioca gem rbi`.
+
+
+# source://rbi//lib/rbi.rb#13
+module RBI; end
+
+# source://rbi//lib/rbi/model.rb#802
+class RBI::Arg < ::RBI::Node
+  # source://rbi//lib/rbi/model.rb#807
+  sig { params(value: ::String, loc: T.nilable(::RBI::Loc)).void }
+  def initialize(value, loc: T.unsafe(nil)); end
+
+  # source://rbi//lib/rbi/model.rb#813
+  sig { params(other: T.nilable(::Object)).returns(T::Boolean) }
+  def ==(other); end
+
+  # source://rbi//lib/rbi/model.rb#818
+  sig { returns(::String) }
+  def to_s; end
+
+  # source://rbi//lib/rbi/model.rb#804
+  sig { returns(::String) }
+  def value; end
+end
+
+# Attributes
+#
+# @abstract It cannot be directly instantiated. Subclasses must implement the `abstract` methods below.
+#
+# source://rbi//lib/rbi/model.rb#298
+class RBI::Attr < ::RBI::NodeWithComments
+  include ::RBI::Indexable
+
+  abstract!
+
+  # source://rbi//lib/rbi/model.rb#314
+  sig do
+    params(
+      name: ::Symbol,
+      names: T::Array[::Symbol],
+      visibility: ::RBI::Visibility,
+      sigs: T::Array[::RBI::Sig],
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment]
+    ).void
+  end
+  def initialize(name, names, visibility: T.unsafe(nil), sigs: T.unsafe(nil), loc: T.unsafe(nil), comments: T.unsafe(nil)); end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#394
+  sig { override.params(other: ::RBI::Node).returns(T::Boolean) }
+  def compatible_with?(other); end
+
+  # @abstract
+  #
+  # source://rbi//lib/rbi/rewriters/attr_to_methods.rb#58
+  sig { abstract.returns(T::Array[::RBI::Method]) }
+  def convert_to_methods; end
+
+  # @abstract
+  #
+  # source://rbi//lib/rbi/model.rb#322
+  sig { abstract.returns(T::Array[::String]) }
+  def fully_qualified_names; end
+
+  # source://rbi//lib/rbi/index.rb#109
+  sig { override.returns(T::Array[::String]) }
+  def index_ids; end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#403
+  sig { override.params(other: ::RBI::Node).void }
+  def merge_with(other); end
+
+  # source://rbi//lib/rbi/model.rb#305
+  sig { returns(T::Array[::Symbol]) }
+  def names; end
+
+  # source://rbi//lib/rbi/model.rb#311
+  sig { returns(T::Array[::RBI::Sig]) }
+  def sigs; end
+
+  # source://rbi//lib/rbi/model.rb#308
+  sig { returns(::RBI::Visibility) }
+  def visibility; end
+
+  # @return [Visibility]
+  #
+  # source://rbi//lib/rbi/model.rb#308
+  def visibility=(_arg0); end
+
+  private
+
+  # source://rbi//lib/rbi/rewriters/attr_to_methods.rb#79
+  sig do
+    params(
+      name: ::String,
+      sig: T.nilable(::RBI::Sig),
+      visibility: ::RBI::Visibility,
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment]
+    ).returns(::RBI::Method)
+  end
+  def create_getter_method(name, sig, visibility, loc, comments); end
+
+  # source://rbi//lib/rbi/rewriters/attr_to_methods.rb#91
+  sig do
+    params(
+      name: ::String,
+      sig: T.nilable(::RBI::Sig),
+      attribute_type: T.nilable(T.any(::RBI::Type, ::String)),
+      visibility: ::RBI::Visibility,
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment]
+    ).returns(::RBI::Method)
+  end
+  def create_setter_method(name, sig, attribute_type, visibility, loc, comments); end
+
+  # @raise [UnexpectedMultipleSigsError]
+  #
+  # source://rbi//lib/rbi/rewriters/attr_to_methods.rb#64
+  sig(:final) { returns([T.nilable(::RBI::Sig), T.nilable(T.any(::RBI::Type, ::String))]) }
+  def parse_sig; end
+end
+
+# source://rbi//lib/rbi/model.rb#325
+class RBI::AttrAccessor < ::RBI::Attr
+  # source://rbi//lib/rbi/model.rb#327
+  sig do
+    params(
+      name: ::Symbol,
+      names: ::Symbol,
+      visibility: ::RBI::Visibility,
+      sigs: T::Array[::RBI::Sig],
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment],
+      block: T.nilable(T.proc.params(node: ::RBI::AttrAccessor).void)
+    ).void
+  end
+  def initialize(name, *names, visibility: T.unsafe(nil), sigs: T.unsafe(nil), loc: T.unsafe(nil), comments: T.unsafe(nil), &block); end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#432
+  sig { override.params(other: ::RBI::Node).returns(T::Boolean) }
+  def compatible_with?(other); end
+
+  # source://rbi//lib/rbi/rewriters/attr_to_methods.rb#122
+  sig { override.returns(T::Array[::RBI::Method]) }
+  def convert_to_methods; end
+
+  # source://rbi//lib/rbi/model.rb#334
+  sig { override.returns(T::Array[::String]) }
+  def fully_qualified_names; end
+
+  # source://rbi//lib/rbi/model.rb#341
+  sig { override.returns(::String) }
+  def to_s; end
+end
+
+# source://rbi//lib/rbi/model.rb#347
+class RBI::AttrReader < ::RBI::Attr
+  # source://rbi//lib/rbi/model.rb#349
+  sig do
+    params(
+      name: ::Symbol,
+      names: ::Symbol,
+      visibility: ::RBI::Visibility,
+      sigs: T::Array[::RBI::Sig],
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment],
+      block: T.nilable(T.proc.params(node: ::RBI::AttrReader).void)
+    ).void
+  end
+  def initialize(name, *names, visibility: T.unsafe(nil), sigs: T.unsafe(nil), loc: T.unsafe(nil), comments: T.unsafe(nil), &block); end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#416
+  sig { override.params(other: ::RBI::Node).returns(T::Boolean) }
+  def compatible_with?(other); end
+
+  # source://rbi//lib/rbi/rewriters/attr_to_methods.rb#137
+  sig { override.returns(T::Array[::RBI::Method]) }
+  def convert_to_methods; end
+
+  # source://rbi//lib/rbi/model.rb#356
+  sig { override.returns(T::Array[::String]) }
+  def fully_qualified_names; end
+
+  # source://rbi//lib/rbi/model.rb#363
+  sig { override.returns(::String) }
+  def to_s; end
+end
+
+# source://rbi//lib/rbi/model.rb#369
+class RBI::AttrWriter < ::RBI::Attr
+  # source://rbi//lib/rbi/model.rb#371
+  sig do
+    params(
+      name: ::Symbol,
+      names: ::Symbol,
+      visibility: ::RBI::Visibility,
+      sigs: T::Array[::RBI::Sig],
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment],
+      block: T.nilable(T.proc.params(node: ::RBI::AttrWriter).void)
+    ).void
+  end
+  def initialize(name, *names, visibility: T.unsafe(nil), sigs: T.unsafe(nil), loc: T.unsafe(nil), comments: T.unsafe(nil), &block); end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#424
+  sig { override.params(other: ::RBI::Node).returns(T::Boolean) }
+  def compatible_with?(other); end
+
+  # source://rbi//lib/rbi/rewriters/attr_to_methods.rb#147
+  sig { override.returns(T::Array[::RBI::Method]) }
+  def convert_to_methods; end
+
+  # source://rbi//lib/rbi/model.rb#378
+  sig { override.returns(T::Array[::String]) }
+  def fully_qualified_names; end
+
+  # source://rbi//lib/rbi/model.rb#385
+  sig { override.returns(::String) }
+  def to_s; end
+end
+
+# An arbitrary blank line that can be added both in trees and comments
+#
+# source://rbi//lib/rbi/model.rb#73
+class RBI::BlankLine < ::RBI::Comment
+  # source://rbi//lib/rbi/model.rb#75
+  sig { params(loc: T.nilable(::RBI::Loc)).void }
+  def initialize(loc: T.unsafe(nil)); end
+end
+
+# source://rbi//lib/rbi/model.rb#642
+class RBI::BlockParam < ::RBI::Param
+  # source://rbi//lib/rbi/model.rb#644
+  sig do
+    params(
+      name: ::String,
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment],
+      block: T.nilable(T.proc.params(node: ::RBI::BlockParam).void)
+    ).void
+  end
+  def initialize(name, loc: T.unsafe(nil), comments: T.unsafe(nil), &block); end
+
+  # source://rbi//lib/rbi/model.rb#656
+  sig { params(other: T.nilable(::Object)).returns(T::Boolean) }
+  def ==(other); end
+
+  # source://rbi//lib/rbi/model.rb#651
+  sig { override.returns(::String) }
+  def to_s; end
+end
+
+# source://rbi//lib/rbi/model.rb#202
+class RBI::Class < ::RBI::Scope
+  # source://rbi//lib/rbi/model.rb#210
+  sig do
+    params(
+      name: ::String,
+      superclass_name: T.nilable(::String),
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment],
+      block: T.nilable(T.proc.params(node: ::RBI::Class).void)
+    ).void
+  end
+  def initialize(name, superclass_name: T.unsafe(nil), loc: T.unsafe(nil), comments: T.unsafe(nil), &block); end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#362
+  sig { override.params(other: ::RBI::Node).returns(T::Boolean) }
+  def compatible_with?(other); end
+
+  # source://rbi//lib/rbi/model.rb#219
+  sig { override.returns(::String) }
+  def fully_qualified_name; end
+
+  # source://rbi//lib/rbi/model.rb#204
+  sig { returns(::String) }
+  def name; end
+
+  # @return [String]
+  #
+  # source://rbi//lib/rbi/model.rb#204
+  def name=(_arg0); end
+
+  # source://rbi//lib/rbi/model.rb#207
+  sig { returns(T.nilable(::String)) }
+  def superclass_name; end
+
+  # @return [String, nil]
+  #
+  # source://rbi//lib/rbi/model.rb#207
+  def superclass_name=(_arg0); end
+end
+
+# source://rbi//lib/rbi/model.rb#54
+class RBI::Comment < ::RBI::Node
+  # source://rbi//lib/rbi/model.rb#59
+  sig { params(text: ::String, loc: T.nilable(::RBI::Loc)).void }
+  def initialize(text, loc: T.unsafe(nil)); end
+
+  # source://rbi//lib/rbi/model.rb#65
+  sig { params(other: ::Object).returns(T::Boolean) }
+  def ==(other); end
+
+  # source://rbi//lib/rbi/model.rb#56
+  sig { returns(::String) }
+  def text; end
+
+  # @return [String]
+  #
+  # source://rbi//lib/rbi/model.rb#56
+  def text=(_arg0); end
+end
+
+# A tree showing incompatibles nodes
+#
+# Is rendered as a merge conflict between `left` and` right`:
+# ~~~rb
+# class Foo
+#   <<<<<<< left
+#   def m1; end
+#   def m2(a); end
+#   =======
+#   def m1(a); end
+#   def m2; end
+#   >>>>>>> right
+# end
+# ~~~
+#
+# source://rbi//lib/rbi/rewriters/merge_trees.rb#546
+class RBI::ConflictTree < ::RBI::Tree
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#554
+  sig { params(left_name: ::String, right_name: ::String).void }
+  def initialize(left_name: T.unsafe(nil), right_name: T.unsafe(nil)); end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#548
+  sig { returns(::RBI::Tree) }
+  def left; end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#551
+  sig { returns(::String) }
+  def left_name; end
+
+  # @return [Tree]
+  #
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#548
+  def right; end
+
+  # @return [String]
+  #
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#551
+  def right_name; end
+end
+
+# Consts
+#
+# source://rbi//lib/rbi/model.rb#270
+class RBI::Const < ::RBI::NodeWithComments
+  include ::RBI::Indexable
+
+  # source://rbi//lib/rbi/model.rb#275
+  sig do
+    params(
+      name: ::String,
+      value: ::String,
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment],
+      block: T.nilable(T.proc.params(node: ::RBI::Const).void)
+    ).void
+  end
+  def initialize(name, value, loc: T.unsafe(nil), comments: T.unsafe(nil), &block); end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#386
+  sig { override.params(other: ::RBI::Node).returns(T::Boolean) }
+  def compatible_with?(other); end
+
+  # source://rbi//lib/rbi/model.rb#283
+  sig { returns(::String) }
+  def fully_qualified_name; end
+
+  # source://rbi//lib/rbi/index.rb#99
+  sig { override.returns(T::Array[::String]) }
+  def index_ids; end
+
+  # source://rbi//lib/rbi/model.rb#272
+  sig { returns(::String) }
+  def name; end
+
+  # source://rbi//lib/rbi/model.rb#291
+  sig { override.returns(::String) }
+  def to_s; end
+
+  # @return [String]
+  #
+  # source://rbi//lib/rbi/model.rb#272
+  def value; end
+end
+
+# source://rbi//lib/rbi/rewriters/merge_trees.rb#332
+class RBI::DuplicateNodeError < ::RBI::Error; end
+
+# source://rbi//lib/rbi.rb#14
+class RBI::Error < ::StandardError; end
+
+# source://rbi//lib/rbi/model.rb#692
+class RBI::Extend < ::RBI::Mixin
+  include ::RBI::Indexable
+
+  # source://rbi//lib/rbi/model.rb#694
+  sig do
+    params(
+      name: ::String,
+      names: ::String,
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment],
+      block: T.nilable(T.proc.params(node: ::RBI::Extend).void)
+    ).void
+  end
+  def initialize(name, *names, loc: T.unsafe(nil), comments: T.unsafe(nil), &block); end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#479
+  sig { override.params(other: ::RBI::Node).returns(T::Boolean) }
+  def compatible_with?(other); end
+
+  # source://rbi//lib/rbi/index.rb#139
+  sig { override.returns(T::Array[::String]) }
+  def index_ids; end
+
+  # source://rbi//lib/rbi/model.rb#701
+  sig { override.returns(::String) }
+  def to_s; end
+end
+
+# source://rbi//lib/rbi/model.rb#135
+class RBI::File
+  # source://rbi//lib/rbi/model.rb#146
+  sig do
+    params(
+      strictness: T.nilable(::String),
+      comments: T::Array[::RBI::Comment],
+      block: T.nilable(T.proc.params(file: ::RBI::File).void)
+    ).void
+  end
+  def initialize(strictness: T.unsafe(nil), comments: T.unsafe(nil), &block); end
+
+  # source://rbi//lib/rbi/model.rb#154
+  sig { params(node: ::RBI::Node).void }
+  def <<(node); end
+
+  # source://rbi//lib/rbi/model.rb#143
+  sig { returns(T::Array[::RBI::Comment]) }
+  def comments; end
+
+  # @return [Array<Comment>]
+  #
+  # source://rbi//lib/rbi/model.rb#143
+  def comments=(_arg0); end
+
+  # source://rbi//lib/rbi/model.rb#159
+  sig { returns(T::Boolean) }
+  def empty?; end
+
+  # source://rbi//lib/rbi/printer.rb#794
+  sig do
+    params(
+      out: T.any(::IO, ::StringIO),
+      indent: ::Integer,
+      print_locs: T::Boolean,
+      max_line_length: T.nilable(::Integer)
+    ).void
+  end
+  def print(out: T.unsafe(nil), indent: T.unsafe(nil), print_locs: T.unsafe(nil), max_line_length: T.unsafe(nil)); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#1106
+  sig { params(out: T.any(::IO, ::StringIO), indent: ::Integer, print_locs: T::Boolean).void }
+  def rbs_print(out: T.unsafe(nil), indent: T.unsafe(nil), print_locs: T.unsafe(nil)); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#1112
+  sig { params(indent: ::Integer, print_locs: T::Boolean).returns(::String) }
+  def rbs_string(indent: T.unsafe(nil), print_locs: T.unsafe(nil)); end
+
+  # source://rbi//lib/rbi/model.rb#137
+  sig { returns(::RBI::Tree) }
+  def root; end
+
+  # @return [Tree]
+  #
+  # source://rbi//lib/rbi/model.rb#137
+  def root=(_arg0); end
+
+  # source://rbi//lib/rbi/model.rb#140
+  sig { returns(T.nilable(::String)) }
+  def strictness; end
+
+  # @return [String, nil]
+  #
+  # source://rbi//lib/rbi/model.rb#140
+  def strictness=(_arg0); end
+
+  # source://rbi//lib/rbi/printer.rb#800
+  sig { params(indent: ::Integer, print_locs: T::Boolean, max_line_length: T.nilable(::Integer)).returns(::String) }
+  def string(indent: T.unsafe(nil), print_locs: T.unsafe(nil), max_line_length: T.unsafe(nil)); end
+end
+
+# source://rbi//lib/rbi/formatter.rb#5
+class RBI::Formatter
+  # source://rbi//lib/rbi/formatter.rb#10
+  sig do
+    params(
+      add_sig_templates: T::Boolean,
+      group_nodes: T::Boolean,
+      max_line_length: T.nilable(::Integer),
+      nest_singleton_methods: T::Boolean,
+      nest_non_public_members: T::Boolean,
+      sort_nodes: T::Boolean
+    ).void
+  end
+  def initialize(add_sig_templates: T.unsafe(nil), group_nodes: T.unsafe(nil), max_line_length: T.unsafe(nil), nest_singleton_methods: T.unsafe(nil), nest_non_public_members: T.unsafe(nil), sort_nodes: T.unsafe(nil)); end
+
+  # source://rbi//lib/rbi/formatter.rb#33
+  sig { params(file: ::RBI::File).void }
+  def format_file(file); end
+
+  # source://rbi//lib/rbi/formatter.rb#38
+  sig { params(tree: ::RBI::Tree).void }
+  def format_tree(tree); end
+
+  # source://rbi//lib/rbi/formatter.rb#7
+  sig { returns(T.nilable(::Integer)) }
+  def max_line_length; end
+
+  # @return [Integer, nil]
+  #
+  # source://rbi//lib/rbi/formatter.rb#7
+  def max_line_length=(_arg0); end
+
+  # source://rbi//lib/rbi/formatter.rb#27
+  sig { params(file: ::RBI::File).returns(::String) }
+  def print_file(file); end
+end
+
+# source://rbi//lib/rbi/rewriters/group_nodes.rb#84
+class RBI::Group < ::RBI::Tree
+  # source://rbi//lib/rbi/rewriters/group_nodes.rb#89
+  sig { params(kind: ::RBI::Group::Kind).void }
+  def initialize(kind); end
+
+  # source://rbi//lib/rbi/rewriters/group_nodes.rb#86
+  sig { returns(::RBI::Group::Kind) }
+  def kind; end
+end
+
+# source://rbi//lib/rbi/rewriters/group_nodes.rb#94
+class RBI::Group::Kind < ::T::Enum
+  enums do
+    Attrs = new
+    Consts = new
+    Helpers = new
+    Inits = new
+    Methods = new
+    MixesInClassMethods = new
+    Mixins = new
+    RequiredAncestors = new
+    Sends = new
+    SingletonClasses = new
+    TEnums = new
+    TStructFields = new
+    TypeMembers = new
+  end
+end
+
+# source://rbi//lib/rbi/rewriters/group_nodes.rb#5
+class RBI::GroupNodesError < ::RBI::Error; end
+
+# Sorbet's misc.
+#
+# source://rbi//lib/rbi/model.rb#1042
+class RBI::Helper < ::RBI::NodeWithComments
+  include ::RBI::Indexable
+
+  # source://rbi//lib/rbi/model.rb#1047
+  sig do
+    params(
+      name: ::String,
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment],
+      block: T.nilable(T.proc.params(node: ::RBI::Helper).void)
+    ).void
+  end
+  def initialize(name, loc: T.unsafe(nil), comments: T.unsafe(nil), &block); end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#495
+  sig { override.params(other: ::RBI::Node).returns(T::Boolean) }
+  def compatible_with?(other); end
+
+  # source://rbi//lib/rbi/index.rb#169
+  sig { override.returns(T::Array[::String]) }
+  def index_ids; end
+
+  # source://rbi//lib/rbi/model.rb#1044
+  sig { returns(::String) }
+  def name; end
+
+  # source://rbi//lib/rbi/model.rb#1055
+  sig { override.returns(::String) }
+  def to_s; end
+end
+
+# source://rbi//lib/rbi/model.rb#678
+class RBI::Include < ::RBI::Mixin
+  include ::RBI::Indexable
+
+  # source://rbi//lib/rbi/model.rb#680
+  sig do
+    params(
+      name: ::String,
+      names: ::String,
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment],
+      block: T.nilable(T.proc.params(node: ::RBI::Include).void)
+    ).void
+  end
+  def initialize(name, *names, loc: T.unsafe(nil), comments: T.unsafe(nil), &block); end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#471
+  sig { override.params(other: ::RBI::Node).returns(T::Boolean) }
+  def compatible_with?(other); end
+
+  # source://rbi//lib/rbi/index.rb#129
+  sig { override.returns(T::Array[::String]) }
+  def index_ids; end
+
+  # source://rbi//lib/rbi/model.rb#687
+  sig { override.returns(::String) }
+  def to_s; end
+end
+
+# source://rbi//lib/rbi/index.rb#5
+class RBI::Index < ::RBI::Visitor
+  # source://rbi//lib/rbi/index.rb#18
+  sig { void }
+  def initialize; end
+
+  # source://rbi//lib/rbi/index.rb#29
+  sig { params(id: ::String).returns(T::Array[::RBI::Node]) }
+  def [](id); end
+
+  # source://rbi//lib/rbi/index.rb#34
+  sig { params(nodes: ::RBI::Node).void }
+  def index(*nodes); end
+
+  # source://rbi//lib/rbi/index.rb#24
+  sig { returns(T::Array[::String]) }
+  def keys; end
+
+  # source://rbi//lib/rbi/index.rb#40
+  sig { override.params(node: T.nilable(::RBI::Node)).void }
+  def visit(node); end
+
+  private
+
+  # source://rbi//lib/rbi/index.rb#57
+  sig { params(node: T.all(::RBI::Indexable, ::RBI::Node)).void }
+  def index_node(node); end
+
+  class << self
+    # source://rbi//lib/rbi/index.rb#10
+    sig { params(node: ::RBI::Node).returns(::RBI::Index) }
+    def index(*node); end
+  end
+end
+
+# A Node that can be referred to by a unique ID inside an index
+#
+# @abstract Subclasses must implement the `abstract` methods below.
+#
+# source://rbi//lib/rbi/index.rb#70
+module RBI::Indexable
+  interface!
+
+  # Unique IDs that refer to this node.
+  #
+  # Some nodes can have multiple ids, for example an attribute accessor matches the ID of the
+  # getter and the setter.
+  #
+  # @abstract
+  #
+  # source://rbi//lib/rbi/index.rb#81
+  sig { abstract.returns(T::Array[::String]) }
+  def index_ids; end
+end
+
+# source://rbi//lib/rbi/model.rb#823
+class RBI::KwArg < ::RBI::Arg
+  # source://rbi//lib/rbi/model.rb#828
+  sig { params(keyword: ::String, value: ::String, loc: T.nilable(::RBI::Loc)).void }
+  def initialize(keyword, value, loc: T.unsafe(nil)); end
+
+  # source://rbi//lib/rbi/model.rb#834
+  sig { params(other: T.nilable(::Object)).returns(T::Boolean) }
+  def ==(other); end
+
+  # source://rbi//lib/rbi/model.rb#825
+  sig { returns(::String) }
+  def keyword; end
+
+  # source://rbi//lib/rbi/model.rb#839
+  sig { returns(::String) }
+  def to_s; end
+end
+
+# source://rbi//lib/rbi/model.rb#600
+class RBI::KwOptParam < ::RBI::Param
+  # source://rbi//lib/rbi/model.rb#605
+  sig do
+    params(
+      name: ::String,
+      value: ::String,
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment],
+      block: T.nilable(T.proc.params(node: ::RBI::KwOptParam).void)
+    ).void
+  end
+  def initialize(name, value, loc: T.unsafe(nil), comments: T.unsafe(nil), &block); end
+
+  # source://rbi//lib/rbi/model.rb#618
+  sig { params(other: T.nilable(::Object)).returns(T::Boolean) }
+  def ==(other); end
+
+  # source://rbi//lib/rbi/model.rb#613
+  sig { override.returns(::String) }
+  def to_s; end
+
+  # source://rbi//lib/rbi/model.rb#602
+  sig { returns(::String) }
+  def value; end
+end
+
+# source://rbi//lib/rbi/model.rb#581
+class RBI::KwParam < ::RBI::Param
+  # source://rbi//lib/rbi/model.rb#583
+  sig do
+    params(
+      name: ::String,
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment],
+      block: T.nilable(T.proc.params(node: ::RBI::KwParam).void)
+    ).void
+  end
+  def initialize(name, loc: T.unsafe(nil), comments: T.unsafe(nil), &block); end
+
+  # source://rbi//lib/rbi/model.rb#595
+  sig { params(other: T.nilable(::Object)).returns(T::Boolean) }
+  def ==(other); end
+
+  # source://rbi//lib/rbi/model.rb#590
+  sig { override.returns(::String) }
+  def to_s; end
+end
+
+# source://rbi//lib/rbi/model.rb#623
+class RBI::KwRestParam < ::RBI::Param
+  # source://rbi//lib/rbi/model.rb#625
+  sig do
+    params(
+      name: ::String,
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment],
+      block: T.nilable(T.proc.params(node: ::RBI::KwRestParam).void)
+    ).void
+  end
+  def initialize(name, loc: T.unsafe(nil), comments: T.unsafe(nil), &block); end
+
+  # source://rbi//lib/rbi/model.rb#637
+  sig { params(other: T.nilable(::Object)).returns(T::Boolean) }
+  def ==(other); end
+
+  # source://rbi//lib/rbi/model.rb#632
+  sig { override.returns(::String) }
+  def to_s; end
+end
+
+# source://rbi//lib/rbi/loc.rb#5
+class RBI::Loc
+  # source://rbi//lib/rbi/loc.rb#26
+  sig do
+    params(
+      file: T.nilable(::String),
+      begin_line: T.nilable(::Integer),
+      end_line: T.nilable(::Integer),
+      begin_column: T.nilable(::Integer),
+      end_column: T.nilable(::Integer)
+    ).void
+  end
+  def initialize(file: T.unsafe(nil), begin_line: T.unsafe(nil), end_line: T.unsafe(nil), begin_column: T.unsafe(nil), end_column: T.unsafe(nil)); end
+
+  # @return [Integer, nil]
+  #
+  # source://rbi//lib/rbi/loc.rb#23
+  def begin_column; end
+
+  # source://rbi//lib/rbi/loc.rb#23
+  sig { returns(T.nilable(::Integer)) }
+  def begin_line; end
+
+  # @return [Integer, nil]
+  #
+  # source://rbi//lib/rbi/loc.rb#23
+  def end_column; end
+
+  # @return [Integer, nil]
+  #
+  # source://rbi//lib/rbi/loc.rb#23
+  def end_line; end
+
+  # source://rbi//lib/rbi/loc.rb#20
+  sig { returns(T.nilable(::String)) }
+  def file; end
+
+  # source://rbi//lib/rbi/loc.rb#44
+  sig { returns(T.nilable(::String)) }
+  def source; end
+
+  # source://rbi//lib/rbi/loc.rb#35
+  sig { returns(::String) }
+  def to_s; end
+
+  class << self
+    # source://rbi//lib/rbi/loc.rb#8
+    sig { params(file: ::String, prism_location: ::Prism::Location).returns(::RBI::Loc) }
+    def from_prism(file, prism_location); end
+  end
+end
+
+# A tree that _might_ contain conflicts
+#
+# source://rbi//lib/rbi/rewriters/merge_trees.rb#320
+class RBI::MergeTree < ::RBI::Tree
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#325
+  sig do
+    params(
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment],
+      conflicts: T::Array[::RBI::Rewriters::Merge::Conflict],
+      block: T.nilable(T.proc.params(node: ::RBI::Tree).void)
+    ).void
+  end
+  def initialize(loc: T.unsafe(nil), comments: T.unsafe(nil), conflicts: T.unsafe(nil), &block); end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#322
+  sig { returns(T::Array[::RBI::Rewriters::Merge::Conflict]) }
+  def conflicts; end
+end
+
+# Methods and args
+#
+# source://rbi//lib/rbi/model.rb#393
+class RBI::Method < ::RBI::NodeWithComments
+  include ::RBI::Indexable
+
+  # source://rbi//lib/rbi/model.rb#410
+  sig do
+    params(
+      name: ::String,
+      params: T::Array[::RBI::Param],
+      is_singleton: T::Boolean,
+      visibility: ::RBI::Visibility,
+      sigs: T::Array[::RBI::Sig],
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment],
+      block: T.nilable(T.proc.params(node: ::RBI::Method).void)
+    ).void
+  end
+  def initialize(name, params: T.unsafe(nil), is_singleton: T.unsafe(nil), visibility: T.unsafe(nil), sigs: T.unsafe(nil), loc: T.unsafe(nil), comments: T.unsafe(nil), &block); end
+
+  # source://rbi//lib/rbi/model.rb#430
+  sig { params(param: ::RBI::Param).void }
+  def <<(param); end
+
+  # source://rbi//lib/rbi/model.rb#465
+  sig { params(name: ::String).void }
+  def add_block_param(name); end
+
+  # source://rbi//lib/rbi/model.rb#455
+  sig { params(name: ::String, default_value: ::String).void }
+  def add_kw_opt_param(name, default_value); end
+
+  # source://rbi//lib/rbi/model.rb#450
+  sig { params(name: ::String).void }
+  def add_kw_param(name); end
+
+  # source://rbi//lib/rbi/model.rb#460
+  sig { params(name: ::String).void }
+  def add_kw_rest_param(name); end
+
+  # source://rbi//lib/rbi/model.rb#440
+  sig { params(name: ::String, default_value: ::String).void }
+  def add_opt_param(name, default_value); end
+
+  # source://rbi//lib/rbi/model.rb#435
+  sig { params(name: ::String).void }
+  def add_param(name); end
+
+  # source://rbi//lib/rbi/model.rb#445
+  sig { params(name: ::String).void }
+  def add_rest_param(name); end
+
+  # source://rbi//lib/rbi/model.rb#470
+  sig do
+    params(
+      params: T::Array[::RBI::SigParam],
+      return_type: T.any(::RBI::Type, ::String),
+      is_abstract: T::Boolean,
+      is_override: T::Boolean,
+      is_overridable: T::Boolean,
+      is_final: T::Boolean,
+      type_params: T::Array[::String],
+      checked: T.nilable(::Symbol),
+      block: T.nilable(T.proc.params(node: ::RBI::Sig).void)
+    ).void
+  end
+  def add_sig(params: T.unsafe(nil), return_type: T.unsafe(nil), is_abstract: T.unsafe(nil), is_override: T.unsafe(nil), is_overridable: T.unsafe(nil), is_final: T.unsafe(nil), type_params: T.unsafe(nil), checked: T.unsafe(nil), &block); end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#440
+  sig { override.params(other: ::RBI::Node).returns(T::Boolean) }
+  def compatible_with?(other); end
+
+  # source://rbi//lib/rbi/model.rb#496
+  sig { returns(::String) }
+  def fully_qualified_name; end
+
+  # source://rbi//lib/rbi/index.rb#119
+  sig { override.returns(T::Array[::String]) }
+  def index_ids; end
+
+  # source://rbi//lib/rbi/model.rb#401
+  sig { returns(T::Boolean) }
+  def is_singleton; end
+
+  # @return [Boolean]
+  #
+  # source://rbi//lib/rbi/model.rb#401
+  def is_singleton=(_arg0); end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#450
+  sig { override.params(other: ::RBI::Node).void }
+  def merge_with(other); end
+
+  # source://rbi//lib/rbi/model.rb#395
+  sig { returns(::String) }
+  def name; end
+
+  # @return [String]
+  #
+  # source://rbi//lib/rbi/model.rb#395
+  def name=(_arg0); end
+
+  # source://rbi//lib/rbi/model.rb#398
+  sig { returns(T::Array[::RBI::Param]) }
+  def params; end
+
+  # source://rbi//lib/rbi/model.rb#407
+  sig { returns(T::Array[::RBI::Sig]) }
+  def sigs; end
+
+  # @return [Array<Sig>]
+  #
+  # source://rbi//lib/rbi/model.rb#407
+  def sigs=(_arg0); end
+
+  # source://rbi//lib/rbi/model.rb#506
+  sig { override.returns(::String) }
+  def to_s; end
+
+  # source://rbi//lib/rbi/model.rb#404
+  sig { returns(::RBI::Visibility) }
+  def visibility; end
+
+  # @return [Visibility]
+  #
+  # source://rbi//lib/rbi/model.rb#404
+  def visibility=(_arg0); end
+end
+
+# source://rbi//lib/rbi/model.rb#1086
+class RBI::MixesInClassMethods < ::RBI::Mixin
+  include ::RBI::Indexable
+
+  # source://rbi//lib/rbi/model.rb#1088
+  sig do
+    params(
+      name: ::String,
+      names: ::String,
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment],
+      block: T.nilable(T.proc.params(node: ::RBI::MixesInClassMethods).void)
+    ).void
+  end
+  def initialize(name, *names, loc: T.unsafe(nil), comments: T.unsafe(nil), &block); end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#487
+  sig { override.params(other: ::RBI::Node).returns(T::Boolean) }
+  def compatible_with?(other); end
+
+  # source://rbi//lib/rbi/index.rb#149
+  sig { override.returns(T::Array[::String]) }
+  def index_ids; end
+
+  # source://rbi//lib/rbi/model.rb#1095
+  sig { override.returns(::String) }
+  def to_s; end
+end
+
+# Mixins
+#
+# @abstract It cannot be directly instantiated. Subclasses must implement the `abstract` methods below.
+#
+# source://rbi//lib/rbi/model.rb#663
+class RBI::Mixin < ::RBI::NodeWithComments
+  abstract!
+
+  # source://rbi//lib/rbi/model.rb#672
+  sig do
+    params(
+      name: ::String,
+      names: T::Array[::String],
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment]
+    ).void
+  end
+  def initialize(name, names, loc: T.unsafe(nil), comments: T.unsafe(nil)); end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#463
+  sig { override.params(other: ::RBI::Node).returns(T::Boolean) }
+  def compatible_with?(other); end
+
+  # source://rbi//lib/rbi/model.rb#669
+  sig { returns(T::Array[::String]) }
+  def names; end
+end
+
+# source://rbi//lib/rbi/model.rb#182
+class RBI::Module < ::RBI::Scope
+  # source://rbi//lib/rbi/model.rb#187
+  sig do
+    params(
+      name: ::String,
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment],
+      block: T.nilable(T.proc.params(node: ::RBI::Module).void)
+    ).void
+  end
+  def initialize(name, loc: T.unsafe(nil), comments: T.unsafe(nil), &block); end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#370
+  sig { override.params(other: ::RBI::Node).returns(T::Boolean) }
+  def compatible_with?(other); end
+
+  # source://rbi//lib/rbi/model.rb#195
+  sig { override.returns(::String) }
+  def fully_qualified_name; end
+
+  # source://rbi//lib/rbi/model.rb#184
+  sig { returns(::String) }
+  def name; end
+
+  # @return [String]
+  #
+  # source://rbi//lib/rbi/model.rb#184
+  def name=(_arg0); end
+end
+
+# @abstract It cannot be directly instantiated. Subclasses must implement the `abstract` methods below.
+#
+# source://rbi//lib/rbi/model.rb#7
+class RBI::Node
+  abstract!
+
+  # source://rbi//lib/rbi/model.rb#19
+  sig { params(loc: T.nilable(::RBI::Loc)).void }
+  def initialize(loc: T.unsafe(nil)); end
+
+  # Can `self` and `_other` be merged into a single definition?
+  #
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#280
+  sig { params(_other: ::RBI::Node).returns(T::Boolean) }
+  def compatible_with?(_other); end
+
+  # source://rbi//lib/rbi/model.rb#25
+  sig { void }
+  def detach; end
+
+  # source://rbi//lib/rbi/model.rb#16
+  sig { returns(T.nilable(::RBI::Loc)) }
+  def loc; end
+
+  # @return [Loc, nil]
+  #
+  # source://rbi//lib/rbi/model.rb#16
+  def loc=(_arg0); end
+
+  # Merge `self` and `other` into a single definition
+  #
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#286
+  sig { params(other: ::RBI::Node).void }
+  def merge_with(other); end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#289
+  sig { returns(T.nilable(::RBI::ConflictTree)) }
+  def parent_conflict_tree; end
+
+  # source://rbi//lib/rbi/model.rb#47
+  sig { returns(T.nilable(::RBI::Scope)) }
+  def parent_scope; end
+
+  # source://rbi//lib/rbi/model.rb#13
+  sig { returns(T.nilable(::RBI::Tree)) }
+  def parent_tree; end
+
+  # @return [Tree, nil]
+  #
+  # source://rbi//lib/rbi/model.rb#13
+  def parent_tree=(_arg0); end
+
+  # source://rbi//lib/rbi/printer.rb#809
+  sig do
+    params(
+      out: T.any(::IO, ::StringIO),
+      indent: ::Integer,
+      print_locs: T::Boolean,
+      max_line_length: T.nilable(::Integer)
+    ).void
+  end
+  def print(out: T.unsafe(nil), indent: T.unsafe(nil), print_locs: T.unsafe(nil), max_line_length: T.unsafe(nil)); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#1121
+  sig do
+    params(
+      out: T.any(::IO, ::StringIO),
+      indent: ::Integer,
+      print_locs: T::Boolean,
+      positional_names: T::Boolean
+    ).void
+  end
+  def rbs_print(out: T.unsafe(nil), indent: T.unsafe(nil), print_locs: T.unsafe(nil), positional_names: T.unsafe(nil)); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#1127
+  sig { params(indent: ::Integer, print_locs: T::Boolean, positional_names: T::Boolean).returns(::String) }
+  def rbs_string(indent: T.unsafe(nil), print_locs: T.unsafe(nil), positional_names: T.unsafe(nil)); end
+
+  # @raise [ReplaceNodeError]
+  #
+  # source://rbi//lib/rbi/model.rb#34
+  sig { params(node: ::RBI::Node).void }
+  def replace(node); end
+
+  # source://rbi//lib/rbi/rewriters/filter_versions.rb#91
+  sig { params(version: ::Gem::Version).returns(T::Boolean) }
+  def satisfies_version?(version); end
+
+  # source://rbi//lib/rbi/printer.rb#815
+  sig { params(indent: ::Integer, print_locs: T::Boolean, max_line_length: T.nilable(::Integer)).returns(::String) }
+  def string(indent: T.unsafe(nil), print_locs: T.unsafe(nil), max_line_length: T.unsafe(nil)); end
+end
+
+# @abstract It cannot be directly instantiated. Subclasses must implement the `abstract` methods below.
+#
+# source://rbi//lib/rbi/model.rb#90
+class RBI::NodeWithComments < ::RBI::Node
+  abstract!
+
+  # source://rbi//lib/rbi/model.rb#99
+  sig { params(loc: T.nilable(::RBI::Loc), comments: T::Array[::RBI::Comment]).void }
+  def initialize(loc: T.unsafe(nil), comments: T.unsafe(nil)); end
+
+  # source://rbi//lib/rbi/model.rb#105
+  sig { returns(T::Array[::String]) }
+  def annotations; end
+
+  # source://rbi//lib/rbi/model.rb#96
+  sig { returns(T::Array[::RBI::Comment]) }
+  def comments; end
+
+  # @return [Array<Comment>]
+  #
+  # source://rbi//lib/rbi/model.rb#96
+  def comments=(_arg0); end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#303
+  sig { override.params(other: ::RBI::Node).void }
+  def merge_with(other); end
+
+  # source://rbi//lib/rbi/rewriters/filter_versions.rb#101
+  sig { returns(T::Array[::Gem::Requirement]) }
+  def version_requirements; end
+end
+
+# source://rbi//lib/rbi/model.rb#545
+class RBI::OptParam < ::RBI::Param
+  # source://rbi//lib/rbi/model.rb#550
+  sig do
+    params(
+      name: ::String,
+      value: ::String,
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment],
+      block: T.nilable(T.proc.params(node: ::RBI::OptParam).void)
+    ).void
+  end
+  def initialize(name, value, loc: T.unsafe(nil), comments: T.unsafe(nil), &block); end
+
+  # source://rbi//lib/rbi/model.rb#557
+  sig { params(other: T.nilable(::Object)).returns(T::Boolean) }
+  def ==(other); end
+
+  # source://rbi//lib/rbi/model.rb#547
+  sig { returns(::String) }
+  def value; end
+end
+
+# @abstract It cannot be directly instantiated. Subclasses must implement the `abstract` methods below.
+#
+# source://rbi//lib/rbi/model.rb#511
+class RBI::Param < ::RBI::NodeWithComments
+  abstract!
+
+  # source://rbi//lib/rbi/model.rb#520
+  sig { params(name: ::String, loc: T.nilable(::RBI::Loc), comments: T::Array[::RBI::Comment]).void }
+  def initialize(name, loc: T.unsafe(nil), comments: T.unsafe(nil)); end
+
+  # source://rbi//lib/rbi/model.rb#517
+  sig { returns(::String) }
+  def name; end
+
+  # source://rbi//lib/rbi/model.rb#527
+  sig { override.returns(::String) }
+  def to_s; end
+end
+
+# source://rbi//lib/rbi/parser.rb#7
+class RBI::ParseError < ::RBI::Error
+  # source://rbi//lib/rbi/parser.rb#12
+  sig { params(message: ::String, location: ::RBI::Loc).void }
+  def initialize(message, location); end
+
+  # source://rbi//lib/rbi/parser.rb#9
+  sig { returns(::RBI::Loc) }
+  def location; end
+end
+
+# source://rbi//lib/rbi/parser.rb#49
+class RBI::Parser
+  # source://rbi//lib/rbi/parser.rb#80
+  sig { params(path: ::String).returns(::RBI::Tree) }
+  def parse_file(path); end
+
+  # source://rbi//lib/rbi/parser.rb#75
+  sig { params(string: ::String).returns(::RBI::Tree) }
+  def parse_string(string); end
+
+  private
+
+  # source://rbi//lib/rbi/parser.rb#87
+  sig { params(source: ::String, file: ::String).returns(::RBI::Tree) }
+  def parse(source, file:); end
+
+  class << self
+    # source://rbi//lib/rbi/parser.rb#57
+    sig { params(path: ::String).returns(::RBI::Tree) }
+    def parse_file(path); end
+
+    # source://rbi//lib/rbi/parser.rb#62
+    sig { params(paths: T::Array[::String]).returns(T::Array[::RBI::Tree]) }
+    def parse_files(paths); end
+
+    # source://rbi//lib/rbi/parser.rb#52
+    sig { params(string: ::String).returns(::RBI::Tree) }
+    def parse_string(string); end
+
+    # source://rbi//lib/rbi/parser.rb#68
+    sig { params(strings: T::Array[::String]).returns(T::Array[::RBI::Tree]) }
+    def parse_strings(strings); end
+  end
+end
+
+# source://rbi//lib/rbi/parser.rb#822
+class RBI::Parser::SigBuilder < ::RBI::Parser::Visitor
+  # source://rbi//lib/rbi/parser.rb#827
+  sig { params(content: ::String, file: ::String).void }
+  def initialize(content, file:); end
+
+  # source://rbi//lib/rbi/parser.rb#824
+  sig { returns(::RBI::Sig) }
+  def current; end
+
+  # source://rbi//lib/rbi/parser.rb#897
+  sig { override.params(node: ::Prism::AssocNode).void }
+  def visit_assoc_node(node); end
+
+  # source://rbi//lib/rbi/parser.rb#835
+  sig { override.params(node: ::Prism::CallNode).void }
+  def visit_call_node(node); end
+end
+
+# source://rbi//lib/rbi/parser.rb#143
+class RBI::Parser::TreeBuilder < ::RBI::Parser::Visitor
+  # source://rbi//lib/rbi/parser.rb#151
+  sig { params(source: ::String, comments: T::Array[::Prism::Comment], file: ::String).void }
+  def initialize(source, comments:, file:); end
+
+  # source://rbi//lib/rbi/parser.rb#148
+  sig { returns(T.nilable(::Prism::Node)) }
+  def last_node; end
+
+  # source://rbi//lib/rbi/parser.rb#145
+  sig { returns(::RBI::Tree) }
+  def tree; end
+
+  # source://rbi//lib/rbi/parser.rb#319
+  sig { params(node: ::Prism::CallNode).void }
+  def visit_call_node(node); end
+
+  # source://rbi//lib/rbi/parser.rb#164
+  sig { override.params(node: ::Prism::ClassNode).void }
+  def visit_class_node(node); end
+
+  # source://rbi//lib/rbi/parser.rb#215
+  sig { params(node: T.any(::Prism::ConstantPathWriteNode, ::Prism::ConstantWriteNode)).void }
+  def visit_constant_assign(node); end
+
+  # source://rbi//lib/rbi/parser.rb#208
+  sig { override.params(node: ::Prism::ConstantPathWriteNode).void }
+  def visit_constant_path_write_node(node); end
+
+  # source://rbi//lib/rbi/parser.rb#200
+  sig { override.params(node: ::Prism::ConstantWriteNode).void }
+  def visit_constant_write_node(node); end
+
+  # source://rbi//lib/rbi/parser.rb#249
+  sig { override.params(node: ::Prism::DefNode).void }
+  def visit_def_node(node); end
+
+  # source://rbi//lib/rbi/parser.rb#271
+  sig { override.params(node: ::Prism::ModuleNode).void }
+  def visit_module_node(node); end
+
+  # source://rbi//lib/rbi/parser.rb#290
+  sig { override.params(node: ::Prism::ProgramNode).void }
+  def visit_program_node(node); end
+
+  # source://rbi//lib/rbi/parser.rb#302
+  sig { override.params(node: ::Prism::SingletonClassNode).void }
+  def visit_singleton_class_node(node); end
+
+  private
+
+  # Collect all the remaining comments within a node
+  #
+  # source://rbi//lib/rbi/parser.rb#493
+  sig { params(node: ::Prism::Node).void }
+  def collect_dangling_comments(node); end
+
+  # Collect all the remaining comments after visiting the tree
+  #
+  # source://rbi//lib/rbi/parser.rb#511
+  sig { void }
+  def collect_orphan_comments; end
+
+  # source://rbi//lib/rbi/parser.rb#534
+  sig { returns(::RBI::Tree) }
+  def current_scope; end
+
+  # source://rbi//lib/rbi/parser.rb#539
+  sig { returns(T::Array[::RBI::Sig]) }
+  def current_sigs; end
+
+  # source://rbi//lib/rbi/parser.rb#546
+  sig { params(sigs: T::Array[::RBI::Sig]).returns(T::Array[::RBI::Comment]) }
+  def detach_comments_from_sigs(sigs); end
+
+  # source://rbi//lib/rbi/parser.rb#558
+  sig { params(node: ::Prism::Node).returns(T::Array[::RBI::Comment]) }
+  def node_comments(node); end
+
+  # source://rbi//lib/rbi/parser.rb#576
+  sig { params(node: ::Prism::Comment).returns(::RBI::Comment) }
+  def parse_comment(node); end
+
+  # source://rbi//lib/rbi/parser.rb#611
+  sig { params(node: T.nilable(::Prism::Node)).returns(T::Array[::RBI::Param]) }
+  def parse_params(node); end
+
+  # source://rbi//lib/rbi/parser.rb#587
+  sig { params(node: T.nilable(::Prism::Node)).returns(T::Array[::RBI::Arg]) }
+  def parse_send_args(node); end
+
+  # source://rbi//lib/rbi/parser.rb#685
+  sig { params(node: ::Prism::CallNode).returns(::RBI::Sig) }
+  def parse_sig(node); end
+
+  # source://rbi//lib/rbi/parser.rb#694
+  sig do
+    params(
+      node: T.any(::Prism::ConstantPathWriteNode, ::Prism::ConstantWriteNode)
+    ).returns(T.nilable(::RBI::Struct))
+  end
+  def parse_struct(node); end
+
+  # source://rbi//lib/rbi/parser.rb#742
+  sig { params(send: ::Prism::CallNode).void }
+  def parse_tstruct_field(send); end
+
+  # source://rbi//lib/rbi/parser.rb#779
+  sig { params(name: ::String, node: ::Prism::Node).returns(::RBI::Visibility) }
+  def parse_visibility(name, node); end
+
+  # source://rbi//lib/rbi/parser.rb#793
+  sig { void }
+  def separate_header_comments; end
+
+  # source://rbi//lib/rbi/parser.rb#803
+  sig { void }
+  def set_root_tree_loc; end
+
+  # source://rbi//lib/rbi/parser.rb#817
+  sig { params(node: T.nilable(::Prism::Node)).returns(T::Boolean) }
+  def type_variable_definition?(node); end
+end
+
+# source://rbi//lib/rbi/parser.rb#114
+class RBI::Parser::Visitor < ::Prism::Visitor
+  # source://rbi//lib/rbi/parser.rb#116
+  sig { params(source: ::String, file: ::String).void }
+  def initialize(source, file:); end
+
+  private
+
+  # source://rbi//lib/rbi/parser.rb#126
+  sig { params(node: ::Prism::Node).returns(::RBI::Loc) }
+  def node_loc(node); end
+
+  # source://rbi//lib/rbi/parser.rb#131
+  sig { params(node: T.nilable(::Prism::Node)).returns(T.nilable(::String)) }
+  def node_string(node); end
+
+  # source://rbi//lib/rbi/parser.rb#138
+  sig { params(node: ::Prism::Node).returns(::String) }
+  def node_string!(node); end
+end
+
+# source://rbi//lib/rbi/printer.rb#7
+class RBI::Printer < ::RBI::Visitor
+  # source://rbi//lib/rbi/printer.rb#21
+  sig do
+    params(
+      out: T.any(::IO, ::StringIO),
+      indent: ::Integer,
+      print_locs: T::Boolean,
+      max_line_length: T.nilable(::Integer)
+    ).void
+  end
+  def initialize(out: T.unsafe(nil), indent: T.unsafe(nil), print_locs: T.unsafe(nil), max_line_length: T.unsafe(nil)); end
+
+  # source://rbi//lib/rbi/printer.rb#15
+  sig { returns(::Integer) }
+  def current_indent; end
+
+  # source://rbi//lib/rbi/printer.rb#39
+  sig { void }
+  def dedent; end
+
+  # @return [Boolean]
+  #
+  # source://rbi//lib/rbi/printer.rb#9
+  def in_visibility_group; end
+
+  # @return [Boolean]
+  #
+  # source://rbi//lib/rbi/printer.rb#9
+  def in_visibility_group=(_arg0); end
+
+  # Printing
+  #
+  # source://rbi//lib/rbi/printer.rb#34
+  sig { void }
+  def indent; end
+
+  # source://rbi//lib/rbi/printer.rb#18
+  sig { returns(T.nilable(::Integer)) }
+  def max_line_length; end
+
+  # source://rbi//lib/rbi/printer.rb#12
+  sig { returns(T.nilable(::RBI::Node)) }
+  def previous_node; end
+
+  # Print a string without indentation nor `\n` at the end.
+  #
+  # source://rbi//lib/rbi/printer.rb#45
+  sig { params(string: ::String).void }
+  def print(string); end
+
+  # source://rbi//lib/rbi/printer.rb#9
+  sig { returns(T::Boolean) }
+  def print_locs; end
+
+  # @return [Boolean]
+  #
+  # source://rbi//lib/rbi/printer.rb#9
+  def print_locs=(_arg0); end
+
+  # Print a string with indentation and `\n` at the end.
+  #
+  # source://rbi//lib/rbi/printer.rb#65
+  sig { params(string: ::String).void }
+  def printl(string); end
+
+  # Print a string without indentation but with a `\n` at the end.
+  #
+  # source://rbi//lib/rbi/printer.rb#51
+  sig { params(string: T.nilable(::String)).void }
+  def printn(string = T.unsafe(nil)); end
+
+  # Print a string with indentation but without a `\n` at the end.
+  #
+  # source://rbi//lib/rbi/printer.rb#58
+  sig { params(string: T.nilable(::String)).void }
+  def printt(string = T.unsafe(nil)); end
+
+  # source://rbi//lib/rbi/printer.rb#72
+  sig { override.params(nodes: T::Array[::RBI::Node]).void }
+  def visit_all(nodes); end
+
+  # source://rbi//lib/rbi/printer.rb#84
+  sig { override.params(file: ::RBI::File).void }
+  def visit_file(file); end
+
+  private
+
+  # source://rbi//lib/rbi/printer.rb#670
+  sig { params(node: ::RBI::Node).returns(T::Boolean) }
+  def oneline?(node); end
+
+  # source://rbi//lib/rbi/printer.rb#628
+  sig { params(node: ::RBI::Node).void }
+  def print_blank_line_before(node); end
+
+  # source://rbi//lib/rbi/printer.rb#638
+  sig { params(node: ::RBI::Node).void }
+  def print_loc(node); end
+
+  # source://rbi//lib/rbi/printer.rb#644
+  sig { params(node: ::RBI::Param, last: T::Boolean).void }
+  def print_param_comment_leading_space(node, last:); end
+
+  # source://rbi//lib/rbi/printer.rb#717
+  sig { params(node: ::RBI::Sig).void }
+  def print_sig_as_block(node); end
+
+  # source://rbi//lib/rbi/printer.rb#692
+  sig { params(node: ::RBI::Sig).void }
+  def print_sig_as_line(node); end
+
+  # source://rbi//lib/rbi/printer.rb#662
+  sig { params(node: ::RBI::SigParam, last: T::Boolean).void }
+  def print_sig_param_comment_leading_space(node, last:); end
+
+  # source://rbi//lib/rbi/printer.rb#773
+  sig { params(node: ::RBI::Sig).returns(T::Array[::String]) }
+  def sig_modifiers(node); end
+
+  # source://rbi//lib/rbi/printer.rb#453
+  sig { override.params(node: ::RBI::Arg).void }
+  def visit_arg(node); end
+
+  # source://rbi//lib/rbi/printer.rb#258
+  sig { params(node: ::RBI::Attr).void }
+  def visit_attr(node); end
+
+  # source://rbi//lib/rbi/printer.rb#241
+  sig { override.params(node: ::RBI::AttrAccessor).void }
+  def visit_attr_accessor(node); end
+
+  # source://rbi//lib/rbi/printer.rb#247
+  sig { override.params(node: ::RBI::AttrReader).void }
+  def visit_attr_reader(node); end
+
+  # source://rbi//lib/rbi/printer.rb#253
+  sig { override.params(node: ::RBI::AttrWriter).void }
+  def visit_attr_writer(node); end
+
+  # source://rbi//lib/rbi/printer.rb#138
+  sig { override.params(node: ::RBI::BlankLine).void }
+  def visit_blank_line(node); end
+
+  # source://rbi//lib/rbi/printer.rb#373
+  sig { override.params(node: ::RBI::BlockParam).void }
+  def visit_block_param(node); end
+
+  # source://rbi//lib/rbi/printer.rb#158
+  sig { override.params(node: ::RBI::Class).void }
+  def visit_class(node); end
+
+  # source://rbi//lib/rbi/printer.rb#121
+  sig { override.params(node: ::RBI::Comment).void }
+  def visit_comment(node); end
+
+  # source://rbi//lib/rbi/printer.rb#604
+  sig { override.params(node: ::RBI::ConflictTree).void }
+  def visit_conflict_tree(node); end
+
+  # source://rbi//lib/rbi/printer.rb#231
+  sig { override.params(node: ::RBI::Const).void }
+  def visit_const(node); end
+
+  # source://rbi//lib/rbi/printer.rb#385
+  sig { override.params(node: ::RBI::Extend).void }
+  def visit_extend(node); end
+
+  # source://rbi//lib/rbi/printer.rb#573
+  sig { override.params(node: ::RBI::Group).void }
+  def visit_group(node); end
+
+  # source://rbi//lib/rbi/printer.rb#557
+  sig { override.params(node: ::RBI::Helper).void }
+  def visit_helper(node); end
+
+  # source://rbi//lib/rbi/printer.rb#379
+  sig { override.params(node: ::RBI::Include).void }
+  def visit_include(node); end
+
+  # source://rbi//lib/rbi/printer.rb#459
+  sig { override.params(node: ::RBI::KwArg).void }
+  def visit_kw_arg(node); end
+
+  # source://rbi//lib/rbi/printer.rb#361
+  sig { override.params(node: ::RBI::KwOptParam).void }
+  def visit_kw_opt_param(node); end
+
+  # source://rbi//lib/rbi/printer.rb#355
+  sig { override.params(node: ::RBI::KwParam).void }
+  def visit_kw_param(node); end
+
+  # source://rbi//lib/rbi/printer.rb#367
+  sig { override.params(node: ::RBI::KwRestParam).void }
+  def visit_kw_rest_param(node); end
+
+  # source://rbi//lib/rbi/printer.rb#287
+  sig { override.params(node: ::RBI::Method).void }
+  def visit_method(node); end
+
+  # source://rbi//lib/rbi/printer.rb#567
+  sig { override.params(node: ::RBI::MixesInClassMethods).void }
+  def visit_mixes_in_class_methods(node); end
+
+  # source://rbi//lib/rbi/printer.rb#390
+  sig { params(node: ::RBI::Mixin).void }
+  def visit_mixin(node); end
+
+  # source://rbi//lib/rbi/printer.rb#152
+  sig { override.params(node: ::RBI::Module).void }
+  def visit_module(node); end
+
+  # source://rbi//lib/rbi/printer.rb#343
+  sig { override.params(node: ::RBI::OptParam).void }
+  def visit_opt_param(node); end
+
+  # source://rbi//lib/rbi/printer.rb#420
+  sig { override.params(node: ::RBI::Private).void }
+  def visit_private(node); end
+
+  # source://rbi//lib/rbi/printer.rb#414
+  sig { override.params(node: ::RBI::Protected).void }
+  def visit_protected(node); end
+
+  # source://rbi//lib/rbi/printer.rb#408
+  sig { override.params(node: ::RBI::Public).void }
+  def visit_public(node); end
+
+  # source://rbi//lib/rbi/printer.rb#104
+  sig { override.params(node: ::RBI::RBSComment).void }
+  def visit_rbs_comment(node); end
+
+  # source://rbi//lib/rbi/printer.rb#337
+  sig { override.params(node: ::RBI::ReqParam).void }
+  def visit_req_param(node); end
+
+  # source://rbi//lib/rbi/printer.rb#594
+  sig { override.params(node: ::RBI::RequiresAncestor).void }
+  def visit_requires_ancestor(node); end
+
+  # source://rbi//lib/rbi/printer.rb#349
+  sig { override.params(node: ::RBI::RestParam).void }
+  def visit_rest_param(node); end
+
+  # source://rbi//lib/rbi/printer.rb#175
+  sig { params(node: ::RBI::Scope).void }
+  def visit_scope(node); end
+
+  # source://rbi//lib/rbi/printer.rb#220
+  sig { params(node: ::RBI::Scope).void }
+  def visit_scope_body(node); end
+
+  # source://rbi//lib/rbi/printer.rb#614
+  sig { override.params(node: ::RBI::ScopeConflict).void }
+  def visit_scope_conflict(node); end
+
+  # source://rbi//lib/rbi/printer.rb#185
+  sig { params(node: ::RBI::Scope).void }
+  def visit_scope_header(node); end
+
+  # source://rbi//lib/rbi/printer.rb#435
+  sig { override.params(node: ::RBI::Send).void }
+  def visit_send(node); end
+
+  # source://rbi//lib/rbi/printer.rb#465
+  sig { override.params(node: ::RBI::Sig).void }
+  def visit_sig(node); end
+
+  # source://rbi//lib/rbi/printer.rb#486
+  sig { override.params(node: ::RBI::SigParam).void }
+  def visit_sig_param(node); end
+
+  # source://rbi//lib/rbi/printer.rb#170
+  sig { override.params(node: ::RBI::SingletonClass).void }
+  def visit_singleton_class(node); end
+
+  # source://rbi//lib/rbi/printer.rb#164
+  sig { override.params(node: ::RBI::Struct).void }
+  def visit_struct(node); end
+
+  # source://rbi//lib/rbi/printer.rb#509
+  sig { params(node: ::RBI::TStructField).void }
+  def visit_t_struct_field(node); end
+
+  # source://rbi//lib/rbi/printer.rb#528
+  sig { override.params(node: ::RBI::TEnum).void }
+  def visit_tenum(node); end
+
+  # source://rbi//lib/rbi/printer.rb#534
+  sig { override.params(node: ::RBI::TEnumBlock).void }
+  def visit_tenum_block(node); end
+
+  # source://rbi//lib/rbi/printer.rb#144
+  sig { override.params(node: ::RBI::Tree).void }
+  def visit_tree(node); end
+
+  # source://rbi//lib/rbi/printer.rb#492
+  sig { override.params(node: ::RBI::TStruct).void }
+  def visit_tstruct(node); end
+
+  # source://rbi//lib/rbi/printer.rb#498
+  sig { override.params(node: ::RBI::TStructConst).void }
+  def visit_tstruct_const(node); end
+
+  # source://rbi//lib/rbi/printer.rb#504
+  sig { override.params(node: ::RBI::TStructProp).void }
+  def visit_tstruct_prop(node); end
+
+  # source://rbi//lib/rbi/printer.rb#547
+  sig { override.params(node: ::RBI::TypeMember).void }
+  def visit_type_member(node); end
+
+  # source://rbi//lib/rbi/printer.rb#425
+  sig { params(node: ::RBI::Visibility).void }
+  def visit_visibility(node); end
+
+  # source://rbi//lib/rbi/printer.rb#580
+  sig { override.params(node: ::RBI::VisibilityGroup).void }
+  def visit_visibility_group(node); end
+end
+
+# source://rbi//lib/rbi/printer.rb#5
+class RBI::PrinterError < ::RBI::Error; end
+
+# source://rbi//lib/rbi/model.rb#761
+class RBI::Private < ::RBI::Visibility
+  # source://rbi//lib/rbi/model.rb#763
+  sig do
+    params(
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment],
+      block: T.nilable(T.proc.params(node: ::RBI::Private).void)
+    ).void
+  end
+  def initialize(loc: T.unsafe(nil), comments: T.unsafe(nil), &block); end
+end
+
+# source://rbi//lib/rbi/model.rb#753
+class RBI::Protected < ::RBI::Visibility
+  # source://rbi//lib/rbi/model.rb#755
+  sig do
+    params(
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment],
+      block: T.nilable(T.proc.params(node: ::RBI::Protected).void)
+    ).void
+  end
+  def initialize(loc: T.unsafe(nil), comments: T.unsafe(nil), &block); end
+end
+
+# source://rbi//lib/rbi/model.rb#745
+class RBI::Public < ::RBI::Visibility
+  # source://rbi//lib/rbi/model.rb#747
+  sig do
+    params(
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment],
+      block: T.nilable(T.proc.params(node: ::RBI::Public).void)
+    ).void
+  end
+  def initialize(loc: T.unsafe(nil), comments: T.unsafe(nil), &block); end
+end
+
+# source://rbi//lib/rbi/rbs/method_type_translator.rb#5
+module RBI::RBS; end
+
+# source://rbi//lib/rbi/rbs/method_type_translator.rb#6
+class RBI::RBS::MethodTypeTranslator
+  # source://rbi//lib/rbi/rbs/method_type_translator.rb#22
+  sig { params(method: ::RBI::Method).void }
+  def initialize(method); end
+
+  # source://rbi//lib/rbi/rbs/method_type_translator.rb#19
+  sig { returns(::RBI::Sig) }
+  def result; end
+
+  # source://rbi//lib/rbi/rbs/method_type_translator.rb#28
+  sig { params(type: ::RBS::MethodType).void }
+  def visit(type); end
+
+  private
+
+  # source://rbi//lib/rbi/rbs/method_type_translator.rb#100
+  sig { params(param: ::RBS::Types::Function::Param, index: ::Integer).returns(::RBI::SigParam) }
+  def translate_function_param(param, index); end
+
+  # source://rbi//lib/rbi/rbs/method_type_translator.rb#115
+  sig { params(type: T.untyped).returns(::RBI::Type) }
+  def translate_type(type); end
+
+  # @raise [Error]
+  #
+  # source://rbi//lib/rbi/rbs/method_type_translator.rb#42
+  sig { params(type: ::RBS::Types::Block).void }
+  def visit_block_type(type); end
+
+  # source://rbi//lib/rbi/rbs/method_type_translator.rb#57
+  sig { params(type: ::RBS::Types::Function).void }
+  def visit_function_type(type); end
+
+  class << self
+    # source://rbi//lib/rbi/rbs/method_type_translator.rb#11
+    sig { params(method: ::RBI::Method, type: ::RBS::MethodType).returns(::RBI::Sig) }
+    def translate(method, type); end
+  end
+end
+
+# source://rbi//lib/rbi/rbs/method_type_translator.rb#7
+class RBI::RBS::MethodTypeTranslator::Error < ::RBI::Error; end
+
+# source://rbi//lib/rbi/rbs/type_translator.rb#6
+class RBI::RBS::TypeTranslator
+  class << self
+    # source://rbi//lib/rbi/rbs/type_translator.rb#37
+    sig do
+      params(
+        type: T.any(::RBS::Types::Alias, ::RBS::Types::Bases::Any, ::RBS::Types::Bases::Bool, ::RBS::Types::Bases::Bottom, ::RBS::Types::Bases::Class, ::RBS::Types::Bases::Instance, ::RBS::Types::Bases::Nil, ::RBS::Types::Bases::Self, ::RBS::Types::Bases::Top, ::RBS::Types::Bases::Void, ::RBS::Types::ClassInstance, ::RBS::Types::ClassSingleton, ::RBS::Types::Function, ::RBS::Types::Interface, ::RBS::Types::Intersection, ::RBS::Types::Literal, ::RBS::Types::Optional, ::RBS::Types::Proc, ::RBS::Types::Record, ::RBS::Types::Tuple, ::RBS::Types::Union, ::RBS::Types::UntypedFunction, ::RBS::Types::Variable)
+      ).returns(::RBI::Type)
+    end
+    def translate(type); end
+
+    private
+
+    # source://rbi//lib/rbi/rbs/type_translator.rb#99
+    sig { params(type: ::RBS::Types::ClassInstance).returns(::RBI::Type) }
+    def translate_class_instance(type); end
+
+    # source://rbi//lib/rbi/rbs/type_translator.rb#107
+    sig { params(type: ::RBS::Types::Function).returns(::RBI::Type) }
+    def translate_function(type); end
+
+    # source://rbi//lib/rbi/rbs/type_translator.rb#154
+    sig { params(type_name: ::String).returns(::String) }
+    def translate_t_generic_type(type_name); end
+  end
+end
+
+# A comment representing a RBS type prefixed with `#:`
+#
+# source://rbi//lib/rbi/model.rb#81
+class RBI::RBSComment < ::RBI::Comment
+  # source://rbi//lib/rbi/model.rb#83
+  sig { params(other: ::Object).returns(T::Boolean) }
+  def ==(other); end
+end
+
+# source://rbi//lib/rbi/rbs_printer.rb#5
+class RBI::RBSPrinter < ::RBI::Visitor
+  # source://rbi//lib/rbi/rbs_printer.rb#21
+  sig do
+    params(
+      out: T.any(::IO, ::StringIO),
+      indent: ::Integer,
+      print_locs: T::Boolean,
+      positional_names: T::Boolean
+    ).void
+  end
+  def initialize(out: T.unsafe(nil), indent: T.unsafe(nil), print_locs: T.unsafe(nil), positional_names: T.unsafe(nil)); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#15
+  sig { returns(::Integer) }
+  def current_indent; end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#39
+  sig { void }
+  def dedent; end
+
+  # @return [Boolean]
+  #
+  # source://rbi//lib/rbi/rbs_printer.rb#9
+  def in_visibility_group; end
+
+  # @return [Boolean]
+  #
+  # source://rbi//lib/rbi/rbs_printer.rb#9
+  def in_visibility_group=(_arg0); end
+
+  # Printing
+  #
+  # source://rbi//lib/rbi/rbs_printer.rb#34
+  sig { void }
+  def indent; end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#18
+  sig { returns(T::Boolean) }
+  def positional_names; end
+
+  # @return [Boolean]
+  #
+  # source://rbi//lib/rbi/rbs_printer.rb#18
+  def positional_names=(_arg0); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#12
+  sig { returns(T.nilable(::RBI::Node)) }
+  def previous_node; end
+
+  # Print a string without indentation nor `\n` at the end.
+  #
+  # source://rbi//lib/rbi/rbs_printer.rb#45
+  sig { params(string: ::String).void }
+  def print(string); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#292
+  sig { params(node: ::RBI::Attr, sig: ::RBI::Sig).void }
+  def print_attr_sig(node, sig); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#9
+  sig { returns(T::Boolean) }
+  def print_locs; end
+
+  # @return [Boolean]
+  #
+  # source://rbi//lib/rbi/rbs_printer.rb#9
+  def print_locs=(_arg0); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#381
+  sig { params(node: ::RBI::Method, sig: ::RBI::Sig).void }
+  def print_method_sig(node, sig); end
+
+  # Print a string with indentation and `\n` at the end.
+  #
+  # source://rbi//lib/rbi/rbs_printer.rb#65
+  sig { params(string: ::String).void }
+  def printl(string); end
+
+  # Print a string without indentation but with a `\n` at the end.
+  #
+  # source://rbi//lib/rbi/rbs_printer.rb#51
+  sig { params(string: T.nilable(::String)).void }
+  def printn(string = T.unsafe(nil)); end
+
+  # Print a string with indentation but without a `\n` at the end.
+  #
+  # source://rbi//lib/rbi/rbs_printer.rb#58
+  sig { params(string: T.nilable(::String)).void }
+  def printt(string = T.unsafe(nil)); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#72
+  sig { override.params(nodes: T::Array[::RBI::Node]).void }
+  def visit_all(nodes); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#578
+  sig { override.params(node: ::RBI::Arg).void }
+  def visit_arg(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#260
+  sig { params(node: ::RBI::Attr).void }
+  def visit_attr(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#243
+  sig { override.params(node: ::RBI::AttrAccessor).void }
+  def visit_attr_accessor(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#249
+  sig { override.params(node: ::RBI::AttrReader).void }
+  def visit_attr_reader(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#255
+  sig { override.params(node: ::RBI::AttrWriter).void }
+  def visit_attr_writer(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#114
+  sig { override.params(node: ::RBI::BlankLine).void }
+  def visit_blank_line(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#510
+  sig { override.params(node: ::RBI::BlockParam).void }
+  def visit_block_param(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#134
+  sig { override.params(node: ::RBI::Class).void }
+  def visit_class(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#97
+  sig { override.params(node: ::RBI::Comment).void }
+  def visit_comment(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#711
+  sig { override.params(node: ::RBI::ConflictTree).void }
+  def visit_conflict_tree(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#227
+  sig { override.params(node: ::RBI::Const).void }
+  def visit_const(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#522
+  sig { override.params(node: ::RBI::Extend).void }
+  def visit_extend(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#84
+  sig { override.params(file: ::RBI::File).void }
+  def visit_file(file); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#684
+  sig { override.params(node: ::RBI::Group).void }
+  def visit_group(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#672
+  sig { override.params(node: ::RBI::Helper).void }
+  def visit_helper(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#516
+  sig { override.params(node: ::RBI::Include).void }
+  def visit_include(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#584
+  sig { override.params(node: ::RBI::KwArg).void }
+  def visit_kw_arg(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#498
+  sig { override.params(node: ::RBI::KwOptParam).void }
+  def visit_kw_opt_param(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#492
+  sig { override.params(node: ::RBI::KwParam).void }
+  def visit_kw_param(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#504
+  sig { override.params(node: ::RBI::KwRestParam).void }
+  def visit_kw_rest_param(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#315
+  sig { override.params(node: ::RBI::Method).void }
+  def visit_method(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#678
+  sig { override.params(node: ::RBI::MixesInClassMethods).void }
+  def visit_mixes_in_class_methods(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#527
+  sig { params(node: ::RBI::Mixin).void }
+  def visit_mixin(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#128
+  sig { override.params(node: ::RBI::Module).void }
+  def visit_module(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#472
+  sig { override.params(node: ::RBI::OptParam).void }
+  def visit_opt_param(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#557
+  sig { override.params(node: ::RBI::Private).void }
+  def visit_private(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#551
+  sig { override.params(node: ::RBI::Protected).void }
+  def visit_protected(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#545
+  sig { override.params(node: ::RBI::Public).void }
+  def visit_public(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#462
+  sig { override.params(node: ::RBI::ReqParam).void }
+  def visit_req_param(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#705
+  sig { override.params(node: ::RBI::RequiresAncestor).void }
+  def visit_requires_ancestor(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#482
+  sig { override.params(node: ::RBI::RestParam).void }
+  def visit_rest_param(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#151
+  sig { params(node: ::RBI::Scope).void }
+  def visit_scope(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#214
+  sig { params(node: ::RBI::Scope).void }
+  def visit_scope_body(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#721
+  sig { override.params(node: ::RBI::ScopeConflict).void }
+  def visit_scope_conflict(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#161
+  sig { params(node: ::RBI::Scope).void }
+  def visit_scope_header(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#572
+  sig { override.params(node: ::RBI::Send).void }
+  def visit_send(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#443
+  sig { params(node: ::RBI::Sig).void }
+  def visit_sig(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#456
+  sig { params(node: ::RBI::SigParam).void }
+  def visit_sig_param(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#146
+  sig { override.params(node: ::RBI::SingletonClass).void }
+  def visit_singleton_class(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#140
+  sig { override.params(node: ::RBI::Struct).void }
+  def visit_struct(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#641
+  sig { override.params(node: ::RBI::TEnum).void }
+  def visit_tenum(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#647
+  sig { override.params(node: ::RBI::TEnumBlock).void }
+  def visit_tenum_block(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#120
+  sig { override.params(node: ::RBI::Tree).void }
+  def visit_tree(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#590
+  sig { override.params(node: ::RBI::TStruct).void }
+  def visit_tstruct(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#625
+  sig { override.params(node: ::RBI::TStructConst).void }
+  def visit_tstruct_const(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#633
+  sig { override.params(node: ::RBI::TStructProp).void }
+  def visit_tstruct_prop(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#666
+  sig { override.params(node: ::RBI::TypeMember).void }
+  def visit_type_member(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#562
+  sig { params(node: ::RBI::Visibility).void }
+  def visit_visibility(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#691
+  sig { override.params(node: ::RBI::VisibilityGroup).void }
+  def visit_visibility_group(node); end
+
+  private
+
+  # source://rbi//lib/rbi/rbs_printer.rb#824
+  sig { params(node: ::RBI::Node).returns(T::Boolean) }
+  def oneline?(node); end
+
+  # Parse a string containing a `T.let(x, X)` and extract the type
+  #
+  # Returns `nil` is the string is not a `T.let`.
+  #
+  # source://rbi//lib/rbi/rbs_printer.rb#858
+  sig { params(code: T.nilable(::String)).returns(T.nilable(::String)) }
+  def parse_t_let(code); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#846
+  sig { params(type: T.any(::RBI::Type, ::String)).returns(::RBI::Type) }
+  def parse_type(type); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#737
+  sig { params(node: ::RBI::Node).void }
+  def print_blank_line_before(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#756
+  sig { params(node: ::RBI::Node).void }
+  def print_loc(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#798
+  sig { params(node: ::RBI::Param, last: T::Boolean).void }
+  def print_param_comment_leading_space(node, last:); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#762
+  sig { params(node: ::RBI::Method, param: ::RBI::SigParam).void }
+  def print_sig_param(node, param); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#816
+  sig { params(node: ::RBI::SigParam, last: T::Boolean).void }
+  def print_sig_param_comment_leading_space(node, last:); end
+end
+
+# source://rbi//lib/rbi/rbs_printer.rb#6
+class RBI::RBSPrinter::Error < ::RBI::Error; end
+
+# source://rbi//lib/rbi/model.rb#5
+class RBI::ReplaceNodeError < ::RBI::Error; end
+
+# source://rbi//lib/rbi/model.rb#532
+class RBI::ReqParam < ::RBI::Param
+  # source://rbi//lib/rbi/model.rb#534
+  sig do
+    params(
+      name: ::String,
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment],
+      block: T.nilable(T.proc.params(node: ::RBI::ReqParam).void)
+    ).void
+  end
+  def initialize(name, loc: T.unsafe(nil), comments: T.unsafe(nil), &block); end
+
+  # source://rbi//lib/rbi/model.rb#540
+  sig { params(other: T.nilable(::Object)).returns(T::Boolean) }
+  def ==(other); end
+end
+
+# source://rbi//lib/rbi/model.rb#1100
+class RBI::RequiresAncestor < ::RBI::NodeWithComments
+  include ::RBI::Indexable
+
+  # source://rbi//lib/rbi/model.rb#1105
+  sig { params(name: ::String, loc: T.nilable(::RBI::Loc), comments: T::Array[::RBI::Comment]).void }
+  def initialize(name, loc: T.unsafe(nil), comments: T.unsafe(nil)); end
+
+  # source://rbi//lib/rbi/index.rb#159
+  sig { override.returns(T::Array[::String]) }
+  def index_ids; end
+
+  # source://rbi//lib/rbi/model.rb#1102
+  sig { returns(::String) }
+  def name; end
+
+  # source://rbi//lib/rbi/model.rb#1112
+  sig { override.returns(::String) }
+  def to_s; end
+end
+
+# source://rbi//lib/rbi/model.rb#562
+class RBI::RestParam < ::RBI::Param
+  # source://rbi//lib/rbi/model.rb#564
+  sig do
+    params(
+      name: ::String,
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment],
+      block: T.nilable(T.proc.params(node: ::RBI::RestParam).void)
+    ).void
+  end
+  def initialize(name, loc: T.unsafe(nil), comments: T.unsafe(nil), &block); end
+
+  # source://rbi//lib/rbi/model.rb#576
+  sig { params(other: T.nilable(::Object)).returns(T::Boolean) }
+  def ==(other); end
+
+  # source://rbi//lib/rbi/model.rb#571
+  sig { override.returns(::String) }
+  def to_s; end
+end
+
+# source://rbi//lib/rbi/rewriters/add_sig_templates.rb#5
+module RBI::Rewriters; end
+
+# source://rbi//lib/rbi/rewriters/add_sig_templates.rb#6
+class RBI::Rewriters::AddSigTemplates < ::RBI::Visitor
+  # source://rbi//lib/rbi/rewriters/add_sig_templates.rb#8
+  sig { params(with_todo_comment: T::Boolean).void }
+  def initialize(with_todo_comment: T.unsafe(nil)); end
+
+  # source://rbi//lib/rbi/rewriters/add_sig_templates.rb#15
+  sig { override.params(node: T.nilable(::RBI::Node)).void }
+  def visit(node); end
+
+  private
+
+  # source://rbi//lib/rbi/rewriters/add_sig_templates.rb#29
+  sig { params(attr: ::RBI::Attr).void }
+  def add_attr_sig(attr); end
+
+  # source://rbi//lib/rbi/rewriters/add_sig_templates.rb#44
+  sig { params(method: ::RBI::Method).void }
+  def add_method_sig(method); end
+
+  # source://rbi//lib/rbi/rewriters/add_sig_templates.rb#55
+  sig { params(node: ::RBI::NodeWithComments).void }
+  def add_todo_comment(node); end
+end
+
+# source://rbi//lib/rbi/rewriters/annotate.rb#6
+class RBI::Rewriters::Annotate < ::RBI::Visitor
+  # source://rbi//lib/rbi/rewriters/annotate.rb#8
+  sig { params(annotation: ::String, annotate_scopes: T::Boolean, annotate_properties: T::Boolean).void }
+  def initialize(annotation, annotate_scopes: T.unsafe(nil), annotate_properties: T.unsafe(nil)); end
+
+  # source://rbi//lib/rbi/rewriters/annotate.rb#17
+  sig { override.params(node: T.nilable(::RBI::Node)).void }
+  def visit(node); end
+
+  private
+
+  # source://rbi//lib/rbi/rewriters/annotate.rb#30
+  sig { params(node: ::RBI::NodeWithComments).void }
+  def annotate_node(node); end
+
+  # source://rbi//lib/rbi/rewriters/annotate.rb#37
+  sig { params(node: ::RBI::Node).returns(T::Boolean) }
+  def root?(node); end
+end
+
+# source://rbi//lib/rbi/rewriters/attr_to_methods.rb#22
+class RBI::Rewriters::AttrToMethods < ::RBI::Visitor
+  # source://rbi//lib/rbi/rewriters/attr_to_methods.rb#25
+  sig { override.params(node: T.nilable(::RBI::Node)).void }
+  def visit(node); end
+
+  private
+
+  # @raise [ReplaceNodeError]
+  #
+  # source://rbi//lib/rbi/rewriters/attr_to_methods.rb#38
+  sig { params(node: ::RBI::Node, with: T::Array[::RBI::Node]).void }
+  def replace(node, with:); end
+end
+
+# source://rbi//lib/rbi/rewriters/deannotate.rb#6
+class RBI::Rewriters::Deannotate < ::RBI::Visitor
+  # source://rbi//lib/rbi/rewriters/deannotate.rb#8
+  sig { params(annotation: ::String).void }
+  def initialize(annotation); end
+
+  # source://rbi//lib/rbi/rewriters/deannotate.rb#15
+  sig { override.params(node: T.nilable(::RBI::Node)).void }
+  def visit(node); end
+
+  private
+
+  # source://rbi//lib/rbi/rewriters/deannotate.rb#26
+  sig { params(node: ::RBI::NodeWithComments).void }
+  def deannotate_node(node); end
+end
+
+# Take a gem version and filter out all RBI that is not relevant to that version based on @version annotations
+# in comments. As an example:
+#
+# ~~~rb
+# tree = Parser.parse_string(<<~RBI)
+#   class Foo
+#     # @version > 0.3.0
+#     def bar
+#     end
+#
+#     # @version <= 0.3.0
+#     def bar(arg1)
+#     end
+#   end
+# RBI
+#
+# Rewriters::FilterVersions.filter(tree, Gem::Version.new("0.3.1"))
+#
+# assert_equal(<<~RBI, tree.string)
+#   class Foo
+#     # @version > 0.3.0
+#     def bar
+#     end
+#   end
+# RBI
+# ~~~
+#
+# Supported operators:
+# - equals `=`
+# - not equals `!=`
+# - greater than `>`
+# - greater than or equal to `>=`
+# - less than `<`
+# - less than or equal to `<=`
+# - pessimistic or twiddle-wakka`~>`
+#
+# And/or logic:
+# - "And" logic: put multiple versions on the same line
+#   - e.g. `@version > 0.3.0, <1.0.0` means version must be greater than 0.3.0 AND less than 1.0.0
+# - "Or" logic: put multiple versions on subsequent lines
+#   - e.g. the following means version must be less than 0.3.0 OR greater than 1.0.0
+#       ```
+#       # @version < 0.3.0
+#       # @version > 1.0.0
+#       ```
+# Prerelease versions:
+# - Prerelease versions are considered less than their non-prerelease counterparts
+#   - e.g. `0.4.0-prerelease` is less than `0.4.0`
+#
+# RBI with no versions:
+# - RBI with no version annotations are automatically counted towards ALL versions
+#
+# source://rbi//lib/rbi/rewriters/filter_versions.rb#57
+class RBI::Rewriters::FilterVersions < ::RBI::Visitor
+  # source://rbi//lib/rbi/rewriters/filter_versions.rb#69
+  sig { params(version: ::Gem::Version).void }
+  def initialize(version); end
+
+  # source://rbi//lib/rbi/rewriters/filter_versions.rb#76
+  sig { override.params(node: T.nilable(::RBI::Node)).void }
+  def visit(node); end
+
+  class << self
+    # source://rbi//lib/rbi/rewriters/filter_versions.rb#62
+    sig { params(tree: ::RBI::Tree, version: ::Gem::Version).void }
+    def filter(tree, version); end
+  end
+end
+
+# source://rbi//lib/rbi/rewriters/filter_versions.rb#58
+RBI::Rewriters::FilterVersions::VERSION_PREFIX = T.let(T.unsafe(nil), String)
+
+# Rewrite non-singleton methods inside singleton classes to singleton methods
+#
+# Example:
+# ~~~rb
+# class << self
+#  def m1; end
+#  def self.m2; end
+#
+#  class << self
+#    def m3; end
+#  end
+# end
+# ~~~
+#
+# will be rewritten to:
+#
+# ~~~rb
+# def self.m1; end
+#
+# class << self
+#   def self.m2; end
+#   def self.m3; end
+# end
+# ~~~
+#
+# source://rbi//lib/rbi/rewriters/flatten_singleton_methods.rb#30
+class RBI::Rewriters::FlattenSingletonMethods < ::RBI::Visitor
+  # source://rbi//lib/rbi/rewriters/flatten_singleton_methods.rb#33
+  sig { override.params(node: T.nilable(::RBI::Node)).void }
+  def visit(node); end
+end
+
+# Flattens visibility nodes into method nodes
+#
+# Example:
+# ~~~rb
+# class A
+#   def m1; end
+#   private
+#   def m2; end
+#   def m3; end
+# end
+# ~~~
+#
+# will be transformed into:
+#
+# ~~~rb
+# class A
+#   def m1; end
+#   private def m2; end
+#   private def m3; end
+# end
+# ~~~
+#
+# source://rbi//lib/rbi/rewriters/flatten_visibilities.rb#27
+class RBI::Rewriters::FlattenVisibilities < ::RBI::Visitor
+  # source://rbi//lib/rbi/rewriters/flatten_visibilities.rb#29
+  sig { void }
+  def initialize; end
+
+  # source://rbi//lib/rbi/rewriters/flatten_visibilities.rb#37
+  sig { override.params(node: T.nilable(::RBI::Node)).void }
+  def visit(node); end
+end
+
+# source://rbi//lib/rbi/rewriters/group_nodes.rb#8
+class RBI::Rewriters::GroupNodes < ::RBI::Visitor
+  # source://rbi//lib/rbi/rewriters/group_nodes.rb#11
+  sig { override.params(node: T.nilable(::RBI::Node)).void }
+  def visit(node); end
+
+  private
+
+  # source://rbi//lib/rbi/rewriters/group_nodes.rb#35
+  sig { params(node: ::RBI::Node).returns(::RBI::Group::Kind) }
+  def group_kind(node); end
+end
+
+# Merge two RBI trees together
+#
+# Be this `Tree`:
+# ~~~rb
+# class Foo
+#   attr_accessor :a
+#   def m; end
+#   C = 10
+# end
+# ~~~
+#
+# Merged with this one:
+# ~~~rb
+# class Foo
+#   attr_reader :a
+#   def m(x); end
+#   C = 10
+# end
+# ~~~
+#
+# Compatible definitions are merged together while incompatible definitions are moved into a `ConflictTree`:
+# ~~~rb
+# class Foo
+#   <<<<<<< left
+#   attr_accessor :a
+#   def m; end
+#   =======
+#   attr_reader :a
+#   def m(x); end
+#   >>>>>>> right
+#   C = 10
+# end
+# ~~~
+#
+# source://rbi//lib/rbi/rewriters/merge_trees.rb#39
+class RBI::Rewriters::Merge
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#66
+  sig { params(left_name: ::String, right_name: ::String, keep: ::RBI::Rewriters::Merge::Keep).void }
+  def initialize(left_name: T.unsafe(nil), right_name: T.unsafe(nil), keep: T.unsafe(nil)); end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#75
+  sig { params(tree: ::RBI::Tree).void }
+  def merge(tree); end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#63
+  sig { returns(::RBI::MergeTree) }
+  def tree; end
+
+  class << self
+    # source://rbi//lib/rbi/rewriters/merge_trees.rb#50
+    sig do
+      params(
+        left: ::RBI::Tree,
+        right: ::RBI::Tree,
+        left_name: ::String,
+        right_name: ::String,
+        keep: ::RBI::Rewriters::Merge::Keep
+      ).returns(::RBI::MergeTree)
+    end
+    def merge_trees(left, right, left_name: T.unsafe(nil), right_name: T.unsafe(nil), keep: T.unsafe(nil)); end
+  end
+end
+
+# Used for logging / error displaying purpose
+#
+# source://rbi//lib/rbi/rewriters/merge_trees.rb#82
+class RBI::Rewriters::Merge::Conflict < ::T::Struct
+  const :left, ::RBI::Node
+  const :right, ::RBI::Node
+  const :left_name, ::String
+  const :right_name, ::String
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#89
+  sig { returns(::String) }
+  def to_s; end
+
+  class << self
+    # source://sorbet-runtime/0.5.11911/lib/types/struct.rb#13
+    def inherited(s); end
+  end
+end
+
+# Merge adjacent conflict trees
+#
+# Transform this:
+# ~~~rb
+# class Foo
+#   <<<<<<< left
+#   def m1; end
+#   =======
+#   def m1(a); end
+#   >>>>>>> right
+#   <<<<<<< left
+#   def m2(a); end
+#   =======
+#   def m2; end
+#   >>>>>>> right
+# end
+# ~~~
+#
+# Into this:
+# ~~~rb
+# class Foo
+#   <<<<<<< left
+#   def m1; end
+#   def m2(a); end
+#   =======
+#   def m1(a); end
+#   def m2; end
+#   >>>>>>> right
+# end
+# ~~~
+#
+# source://rbi//lib/rbi/rewriters/merge_trees.rb#238
+class RBI::Rewriters::Merge::ConflictTreeMerger < ::RBI::Visitor
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#241
+  sig { override.params(node: T.nilable(::RBI::Node)).void }
+  def visit(node); end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#247
+  sig { override.params(nodes: T::Array[::RBI::Node]).void }
+  def visit_all(nodes); end
+
+  private
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#268
+  sig { params(left: ::RBI::Tree, right: ::RBI::Tree).void }
+  def merge_conflict_trees(left, right); end
+end
+
+# source://rbi//lib/rbi/rewriters/merge_trees.rb#40
+class RBI::Rewriters::Merge::Keep < ::T::Enum
+  enums do
+    LEFT = new
+    NONE = new
+    RIGHT = new
+  end
+end
+
+# source://rbi//lib/rbi/rewriters/merge_trees.rb#94
+class RBI::Rewriters::Merge::TreeMerger < ::RBI::Visitor
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#99
+  sig do
+    params(
+      output: ::RBI::Tree,
+      left_name: ::String,
+      right_name: ::String,
+      keep: ::RBI::Rewriters::Merge::Keep
+    ).void
+  end
+  def initialize(output, left_name: T.unsafe(nil), right_name: T.unsafe(nil), keep: T.unsafe(nil)); end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#96
+  sig { returns(T::Array[::RBI::Rewriters::Merge::Conflict]) }
+  def conflicts; end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#112
+  sig { override.params(node: T.nilable(::RBI::Node)).void }
+  def visit(node); end
+
+  private
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#161
+  sig { returns(::RBI::Tree) }
+  def current_scope; end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#178
+  sig { params(left: ::RBI::Scope, right: ::RBI::Scope).void }
+  def make_conflict_scope(left, right); end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#185
+  sig { params(left: ::RBI::Node, right: ::RBI::Node).void }
+  def make_conflict_tree(left, right); end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#166
+  sig { params(node: ::RBI::Node).returns(T.nilable(::RBI::Node)) }
+  def previous_definition(node); end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#197
+  sig { params(left: ::RBI::Scope, right: ::RBI::Scope).returns(::RBI::Scope) }
+  def replace_scope_header(left, right); end
+end
+
+# source://rbi//lib/rbi/rewriters/nest_non_public_members.rb#6
+class RBI::Rewriters::NestNonPublicMembers < ::RBI::Visitor
+  # source://rbi//lib/rbi/rewriters/nest_non_public_members.rb#9
+  sig { override.params(node: T.nilable(::RBI::Node)).void }
+  def visit(node); end
+end
+
+# source://rbi//lib/rbi/rewriters/nest_singleton_methods.rb#6
+class RBI::Rewriters::NestSingletonMethods < ::RBI::Visitor
+  # source://rbi//lib/rbi/rewriters/nest_singleton_methods.rb#9
+  sig { override.params(node: T.nilable(::RBI::Node)).void }
+  def visit(node); end
+end
+
+# This rewriter moves top-level members into a top-level Object class
+#
+# Example:
+# ~~~rb
+# def foo; end
+# attr_reader :bar
+# ~~~
+#
+# will be rewritten to:
+#
+# ~~~rb
+# class Object
+#  def foo; end
+#  attr_reader :bar
+# end
+# ~~~
+#
+# source://rbi//lib/rbi/rewriters/nest_top_level_members.rb#22
+class RBI::Rewriters::NestTopLevelMembers < ::RBI::Visitor
+  # source://rbi//lib/rbi/rewriters/nest_top_level_members.rb#24
+  sig { void }
+  def initialize; end
+
+  # source://rbi//lib/rbi/rewriters/nest_top_level_members.rb#32
+  sig { override.params(node: T.nilable(::RBI::Node)).void }
+  def visit(node); end
+end
+
+# Remove all definitions existing in the index from the current tree
+#
+# Let's create an `Index` from two different `Tree`s:
+# ~~~rb
+# tree1 = Parse.parse_string(<<~RBI)
+#   class Foo
+#     def foo; end
+#   end
+# RBI
+#
+# tree2 = Parse.parse_string(<<~RBI)
+#   FOO = 10
+# RBI
+#
+# index = Index.index(tree1, tree2)
+# ~~~
+#
+# We can use `RemoveKnownDefinitions` to remove the definitions found in the `index` from the `Tree` to clean:
+# ~~~rb
+# tree_to_clean = Parser.parse_string(<<~RBI)
+#   class Foo
+#     def foo; end
+#     def bar; end
+#   end
+#   FOO = 10
+#   BAR = 42
+# RBI
+#
+# cleaned_tree, operations = RemoveKnownDefinitions.remove(tree_to_clean, index)
+#
+# assert_equal(<<~RBI, cleaned_tree)
+#   class Foo
+#     def bar; end
+#   end
+#   BAR = 42
+# RBI
+#
+# assert_equal(<<~OPERATIONS, operations.join("\n"))
+#   Deleted ::Foo#foo at -:2:2-2-16 (duplicate from -:2:2-2:16)
+#   Deleted ::FOO at -:5:0-5:8 (duplicate from -:1:0-1:8)
+# OPERATIONS
+# ~~~
+#
+# source://rbi//lib/rbi/rewriters/remove_known_definitions.rb#48
+class RBI::Rewriters::RemoveKnownDefinitions < ::RBI::Visitor
+  # source://rbi//lib/rbi/rewriters/remove_known_definitions.rb#53
+  sig { params(index: ::RBI::Index).void }
+  def initialize(index); end
+
+  # source://rbi//lib/rbi/rewriters/remove_known_definitions.rb#50
+  sig { returns(T::Array[::RBI::Rewriters::RemoveKnownDefinitions::Operation]) }
+  def operations; end
+
+  # source://rbi//lib/rbi/rewriters/remove_known_definitions.rb#75
+  sig { override.params(node: T.nilable(::RBI::Node)).void }
+  def visit(node); end
+
+  # source://rbi//lib/rbi/rewriters/remove_known_definitions.rb#69
+  sig { params(nodes: T::Array[::RBI::Node]).void }
+  def visit_all(nodes); end
+
+  private
+
+  # source://rbi//lib/rbi/rewriters/remove_known_definitions.rb#103
+  sig { params(node: ::RBI::Node, previous: ::RBI::Node).returns(T::Boolean) }
+  def can_delete_node?(node, previous); end
+
+  # source://rbi//lib/rbi/rewriters/remove_known_definitions.rb#121
+  sig { params(node: ::RBI::Node, previous: ::RBI::Node).void }
+  def delete_node(node, previous); end
+
+  # source://rbi//lib/rbi/rewriters/remove_known_definitions.rb#94
+  sig { params(node: ::RBI::Indexable).returns(T.nilable(::RBI::Node)) }
+  def previous_definition_for(node); end
+
+  class << self
+    # source://rbi//lib/rbi/rewriters/remove_known_definitions.rb#61
+    sig do
+      params(
+        tree: ::RBI::Tree,
+        index: ::RBI::Index
+      ).returns([::RBI::Tree, T::Array[::RBI::Rewriters::RemoveKnownDefinitions::Operation]])
+    end
+    def remove(tree, index); end
+  end
+end
+
+# source://rbi//lib/rbi/rewriters/remove_known_definitions.rb#126
+class RBI::Rewriters::RemoveKnownDefinitions::Operation < ::T::Struct
+  const :deleted_node, ::RBI::Node
+  const :duplicate_of, ::RBI::Node
+
+  # source://rbi//lib/rbi/rewriters/remove_known_definitions.rb#131
+  sig { returns(::String) }
+  def to_s; end
+
+  class << self
+    # source://sorbet-runtime/0.5.11911/lib/types/struct.rb#13
+    def inherited(s); end
+  end
+end
+
+# source://rbi//lib/rbi/rewriters/sort_nodes.rb#6
+class RBI::Rewriters::SortNodes < ::RBI::Visitor
+  # source://rbi//lib/rbi/rewriters/sort_nodes.rb#9
+  sig { override.params(node: T.nilable(::RBI::Node)).void }
+  def visit(node); end
+
+  private
+
+  # source://rbi//lib/rbi/rewriters/sort_nodes.rb#72
+  sig { params(kind: ::RBI::Group::Kind).returns(::Integer) }
+  def group_rank(kind); end
+
+  # source://rbi//lib/rbi/rewriters/sort_nodes.rb#93
+  sig { params(node: ::RBI::Node).returns(T.nilable(::String)) }
+  def node_name(node); end
+
+  # source://rbi//lib/rbi/rewriters/sort_nodes.rb#44
+  sig { params(node: ::RBI::Node).returns(::Integer) }
+  def node_rank(node); end
+
+  # source://rbi//lib/rbi/rewriters/sort_nodes.rb#105
+  sig { params(node: ::RBI::Node).void }
+  def sort_node_names!(node); end
+end
+
+# Translate all RBS signature comments to Sorbet RBI signatures
+#
+# source://rbi//lib/rbi/rewriters/translate_rbs_sigs.rb#7
+class RBI::Rewriters::TranslateRBSSigs < ::RBI::Visitor
+  # source://rbi//lib/rbi/rewriters/translate_rbs_sigs.rb#12
+  sig { override.params(node: T.nilable(::RBI::Node)).void }
+  def visit(node); end
+
+  private
+
+  # source://rbi//lib/rbi/rewriters/translate_rbs_sigs.rb#34
+  sig { params(node: T.any(::RBI::Attr, ::RBI::Method)).returns(T::Array[::RBI::RBSComment]) }
+  def extract_rbs_comments(node); end
+
+  # source://rbi//lib/rbi/rewriters/translate_rbs_sigs.rb#61
+  sig { params(node: ::RBI::Attr, comment: ::RBI::RBSComment).returns(::RBI::Sig) }
+  def translate_rbs_attr_type(node, comment); end
+
+  # source://rbi//lib/rbi/rewriters/translate_rbs_sigs.rb#53
+  sig { params(node: ::RBI::Method, comment: ::RBI::RBSComment).returns(::RBI::Sig) }
+  def translate_rbs_method_type(node, comment); end
+end
+
+# source://rbi//lib/rbi/rewriters/translate_rbs_sigs.rb#8
+class RBI::Rewriters::TranslateRBSSigs::Error < ::RBI::Error; end
+
+# Scopes
+#
+# @abstract It cannot be directly instantiated. Subclasses must implement the `abstract` methods below.
+#
+# source://rbi//lib/rbi/model.rb#166
+class RBI::Scope < ::RBI::Tree
+  include ::RBI::Indexable
+
+  abstract!
+
+  # Duplicate `self` scope without its body
+  #
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#337
+  sig { returns(T.self_type) }
+  def dup_empty; end
+
+  # @abstract
+  #
+  # source://rbi//lib/rbi/model.rb#173
+  sig { abstract.returns(::String) }
+  def fully_qualified_name; end
+
+  # source://rbi//lib/rbi/index.rb#89
+  sig { override.returns(T::Array[::String]) }
+  def index_ids; end
+
+  # source://rbi//lib/rbi/model.rb#177
+  sig { override.returns(::String) }
+  def to_s; end
+end
+
+# A conflict between two scope headers
+#
+# Is rendered as a merge conflict between `left` and` right` for scope definitions:
+# ~~~rb
+# <<<<<<< left
+# class Foo
+# =======
+# module Foo
+# >>>>>>> right
+#   def m1; end
+# end
+# ~~~
+#
+# source://rbi//lib/rbi/rewriters/merge_trees.rb#577
+class RBI::ScopeConflict < ::RBI::Tree
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#585
+  sig { params(left: ::RBI::Scope, right: ::RBI::Scope, left_name: ::String, right_name: ::String).void }
+  def initialize(left:, right:, left_name: T.unsafe(nil), right_name: T.unsafe(nil)); end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#579
+  sig { returns(::RBI::Scope) }
+  def left; end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#582
+  sig { returns(::String) }
+  def left_name; end
+
+  # @return [Scope]
+  #
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#579
+  def right; end
+
+  # @return [String]
+  #
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#582
+  def right_name; end
+end
+
+# Sends
+#
+# source://rbi//lib/rbi/model.rb#771
+class RBI::Send < ::RBI::NodeWithComments
+  include ::RBI::Indexable
+
+  # source://rbi//lib/rbi/model.rb#779
+  sig do
+    params(
+      method: ::String,
+      args: T::Array[::RBI::Arg],
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment],
+      block: T.nilable(T.proc.params(node: ::RBI::Send).void)
+    ).void
+  end
+  def initialize(method, args = T.unsafe(nil), loc: T.unsafe(nil), comments: T.unsafe(nil), &block); end
+
+  # source://rbi//lib/rbi/model.rb#787
+  sig { params(arg: ::RBI::Arg).void }
+  def <<(arg); end
+
+  # source://rbi//lib/rbi/model.rb#792
+  sig { params(other: T.nilable(::Object)).returns(T::Boolean) }
+  def ==(other); end
+
+  # source://rbi//lib/rbi/model.rb#776
+  sig { returns(T::Array[::RBI::Arg]) }
+  def args; end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#503
+  sig { override.params(other: ::RBI::Node).returns(T::Boolean) }
+  def compatible_with?(other); end
+
+  # source://rbi//lib/rbi/index.rb#189
+  sig { override.returns(T::Array[::String]) }
+  def index_ids; end
+
+  # source://rbi//lib/rbi/model.rb#773
+  sig { returns(::String) }
+  def method; end
+
+  # source://rbi//lib/rbi/model.rb#797
+  sig { returns(::String) }
+  def to_s; end
+end
+
+# Sorbet's sigs
+#
+# source://rbi//lib/rbi/model.rb#846
+class RBI::Sig < ::RBI::NodeWithComments
+  # source://rbi//lib/rbi/model.rb#863
+  sig do
+    params(
+      params: T::Array[::RBI::SigParam],
+      return_type: T.any(::RBI::Type, ::String),
+      is_abstract: T::Boolean,
+      is_override: T::Boolean,
+      is_overridable: T::Boolean,
+      is_final: T::Boolean,
+      allow_incompatible_override: T::Boolean,
+      type_params: T::Array[::String],
+      checked: T.nilable(::Symbol),
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment],
+      block: T.nilable(T.proc.params(node: ::RBI::Sig).void)
+    ).void
+  end
+  def initialize(params: T.unsafe(nil), return_type: T.unsafe(nil), is_abstract: T.unsafe(nil), is_override: T.unsafe(nil), is_overridable: T.unsafe(nil), is_final: T.unsafe(nil), allow_incompatible_override: T.unsafe(nil), type_params: T.unsafe(nil), checked: T.unsafe(nil), loc: T.unsafe(nil), comments: T.unsafe(nil), &block); end
+
+  # source://rbi//lib/rbi/model.rb#891
+  sig { params(param: ::RBI::SigParam).void }
+  def <<(param); end
+
+  # source://rbi//lib/rbi/model.rb#901
+  sig { params(other: ::Object).returns(T::Boolean) }
+  def ==(other); end
+
+  # source://rbi//lib/rbi/model.rb#896
+  sig { params(name: ::String, type: T.any(::RBI::Type, ::String)).void }
+  def add_param(name, type); end
+
+  # @return [Boolean]
+  #
+  # source://rbi//lib/rbi/model.rb#854
+  def allow_incompatible_override; end
+
+  # @return [Boolean]
+  #
+  # source://rbi//lib/rbi/model.rb#854
+  def allow_incompatible_override=(_arg0); end
+
+  # source://rbi//lib/rbi/model.rb#860
+  sig { returns(T.nilable(::Symbol)) }
+  def checked; end
+
+  # @return [Symbol, nil]
+  #
+  # source://rbi//lib/rbi/model.rb#860
+  def checked=(_arg0); end
+
+  # source://rbi//lib/rbi/model.rb#854
+  sig { returns(T::Boolean) }
+  def is_abstract; end
+
+  # @return [Boolean]
+  #
+  # source://rbi//lib/rbi/model.rb#854
+  def is_abstract=(_arg0); end
+
+  # @return [Boolean]
+  #
+  # source://rbi//lib/rbi/model.rb#854
+  def is_final; end
+
+  # @return [Boolean]
+  #
+  # source://rbi//lib/rbi/model.rb#854
+  def is_final=(_arg0); end
+
+  # @return [Boolean]
+  #
+  # source://rbi//lib/rbi/model.rb#854
+  def is_overridable; end
+
+  # @return [Boolean]
+  #
+  # source://rbi//lib/rbi/model.rb#854
+  def is_overridable=(_arg0); end
+
+  # @return [Boolean]
+  #
+  # source://rbi//lib/rbi/model.rb#854
+  def is_override; end
+
+  # @return [Boolean]
+  #
+  # source://rbi//lib/rbi/model.rb#854
+  def is_override=(_arg0); end
+
+  # source://rbi//lib/rbi/model.rb#848
+  sig { returns(T::Array[::RBI::SigParam]) }
+  def params; end
+
+  # source://rbi//lib/rbi/model.rb#851
+  sig { returns(T.any(::RBI::Type, ::String)) }
+  def return_type; end
+
+  # @return [Type, String]
+  #
+  # source://rbi//lib/rbi/model.rb#851
+  def return_type=(_arg0); end
+
+  # source://rbi//lib/rbi/model.rb#857
+  sig { returns(T::Array[::String]) }
+  def type_params; end
+end
+
+# source://rbi//lib/rbi/model.rb#910
+class RBI::SigParam < ::RBI::NodeWithComments
+  # source://rbi//lib/rbi/model.rb#918
+  sig do
+    params(
+      name: ::String,
+      type: T.any(::RBI::Type, ::String),
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment],
+      block: T.nilable(T.proc.params(node: ::RBI::SigParam).void)
+    ).void
+  end
+  def initialize(name, type, loc: T.unsafe(nil), comments: T.unsafe(nil), &block); end
+
+  # source://rbi//lib/rbi/model.rb#926
+  sig { params(other: ::Object).returns(T::Boolean) }
+  def ==(other); end
+
+  # source://rbi//lib/rbi/model.rb#912
+  sig { returns(::String) }
+  def name; end
+
+  # source://rbi//lib/rbi/model.rb#915
+  sig { returns(T.any(::RBI::Type, ::String)) }
+  def type; end
+end
+
+# source://rbi//lib/rbi/model.rb#226
+class RBI::SingletonClass < ::RBI::Scope
+  # source://rbi//lib/rbi/model.rb#228
+  sig do
+    params(
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment],
+      block: T.nilable(T.proc.params(node: ::RBI::SingletonClass).void)
+    ).void
+  end
+  def initialize(loc: T.unsafe(nil), comments: T.unsafe(nil), &block); end
+
+  # source://rbi//lib/rbi/model.rb#235
+  sig { override.returns(::String) }
+  def fully_qualified_name; end
+end
+
+# source://rbi//lib/rbi/model.rb#240
+class RBI::Struct < ::RBI::Scope
+  # source://rbi//lib/rbi/model.rb#251
+  sig do
+    params(
+      name: ::String,
+      members: T::Array[::Symbol],
+      keyword_init: T::Boolean,
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment],
+      block: T.nilable(T.proc.params(struct: ::RBI::Struct).void)
+    ).void
+  end
+  def initialize(name, members: T.unsafe(nil), keyword_init: T.unsafe(nil), loc: T.unsafe(nil), comments: T.unsafe(nil), &block); end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#378
+  sig { override.params(other: ::RBI::Node).returns(T::Boolean) }
+  def compatible_with?(other); end
+
+  # source://rbi//lib/rbi/model.rb#261
+  sig { override.returns(::String) }
+  def fully_qualified_name; end
+
+  # source://rbi//lib/rbi/model.rb#248
+  sig { returns(T::Boolean) }
+  def keyword_init; end
+
+  # @return [Boolean]
+  #
+  # source://rbi//lib/rbi/model.rb#248
+  def keyword_init=(_arg0); end
+
+  # source://rbi//lib/rbi/model.rb#245
+  sig { returns(T::Array[::Symbol]) }
+  def members; end
+
+  # @return [Array<Symbol>]
+  #
+  # source://rbi//lib/rbi/model.rb#245
+  def members=(_arg0); end
+
+  # source://rbi//lib/rbi/model.rb#242
+  sig { returns(::String) }
+  def name; end
+
+  # @return [String]
+  #
+  # source://rbi//lib/rbi/model.rb#242
+  def name=(_arg0); end
+end
+
+# Sorbet's T::Enum
+#
+# source://rbi//lib/rbi/model.rb#1012
+class RBI::TEnum < ::RBI::Class
+  # source://rbi//lib/rbi/model.rb#1014
+  sig do
+    params(
+      name: ::String,
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment],
+      block: T.nilable(T.proc.params(klass: ::RBI::TEnum).void)
+    ).void
+  end
+  def initialize(name, loc: T.unsafe(nil), comments: T.unsafe(nil), &block); end
+end
+
+# source://rbi//lib/rbi/model.rb#1020
+class RBI::TEnumBlock < ::RBI::Scope
+  # source://rbi//lib/rbi/model.rb#1022
+  sig do
+    params(
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment],
+      block: T.nilable(T.proc.params(node: ::RBI::TEnumBlock).void)
+    ).void
+  end
+  def initialize(loc: T.unsafe(nil), comments: T.unsafe(nil), &block); end
+
+  # source://rbi//lib/rbi/model.rb#1029
+  sig { override.returns(::String) }
+  def fully_qualified_name; end
+
+  # source://rbi//lib/rbi/index.rb#219
+  sig { override.returns(T::Array[::String]) }
+  def index_ids; end
+
+  # source://rbi//lib/rbi/model.rb#1035
+  sig { override.returns(::String) }
+  def to_s; end
+end
+
+# Sorbet's T::Struct
+#
+# source://rbi//lib/rbi/model.rb#933
+class RBI::TStruct < ::RBI::Class
+  # source://rbi//lib/rbi/model.rb#935
+  sig do
+    params(
+      name: ::String,
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment],
+      block: T.nilable(T.proc.params(klass: ::RBI::TStruct).void)
+    ).void
+  end
+  def initialize(name, loc: T.unsafe(nil), comments: T.unsafe(nil), &block); end
+end
+
+# source://rbi//lib/rbi/model.rb#968
+class RBI::TStructConst < ::RBI::TStructField
+  include ::RBI::Indexable
+
+  # source://rbi//lib/rbi/model.rb#970
+  sig do
+    params(
+      name: ::String,
+      type: T.any(::RBI::Type, ::String),
+      default: T.nilable(::String),
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment],
+      block: T.nilable(T.proc.params(node: ::RBI::TStructConst).void)
+    ).void
+  end
+  def initialize(name, type, default: T.unsafe(nil), loc: T.unsafe(nil), comments: T.unsafe(nil), &block); end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#519
+  sig { override.params(other: ::RBI::Node).returns(T::Boolean) }
+  def compatible_with?(other); end
+
+  # source://rbi//lib/rbi/model.rb#977
+  sig { override.returns(T::Array[::String]) }
+  def fully_qualified_names; end
+
+  # source://rbi//lib/rbi/index.rb#199
+  sig { override.returns(T::Array[::String]) }
+  def index_ids; end
+
+  # source://rbi//lib/rbi/model.rb#984
+  sig { override.returns(::String) }
+  def to_s; end
+end
+
+# @abstract It cannot be directly instantiated. Subclasses must implement the `abstract` methods below.
+#
+# source://rbi//lib/rbi/model.rb#941
+class RBI::TStructField < ::RBI::NodeWithComments
+  abstract!
+
+  # source://rbi//lib/rbi/model.rb#957
+  sig do
+    params(
+      name: ::String,
+      type: T.any(::RBI::Type, ::String),
+      default: T.nilable(::String),
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment]
+    ).void
+  end
+  def initialize(name, type, default: T.unsafe(nil), loc: T.unsafe(nil), comments: T.unsafe(nil)); end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#511
+  sig { override.params(other: ::RBI::Node).returns(T::Boolean) }
+  def compatible_with?(other); end
+
+  # source://rbi//lib/rbi/model.rb#954
+  sig { returns(T.nilable(::String)) }
+  def default; end
+
+  # @return [String, nil]
+  #
+  # source://rbi//lib/rbi/model.rb#954
+  def default=(_arg0); end
+
+  # @abstract
+  #
+  # source://rbi//lib/rbi/model.rb#965
+  sig { abstract.returns(T::Array[::String]) }
+  def fully_qualified_names; end
+
+  # source://rbi//lib/rbi/model.rb#948
+  sig { returns(::String) }
+  def name; end
+
+  # @return [String]
+  #
+  # source://rbi//lib/rbi/model.rb#948
+  def name=(_arg0); end
+
+  # source://rbi//lib/rbi/model.rb#951
+  sig { returns(T.any(::RBI::Type, ::String)) }
+  def type; end
+
+  # @return [Type, String]
+  #
+  # source://rbi//lib/rbi/model.rb#951
+  def type=(_arg0); end
+end
+
+# source://rbi//lib/rbi/model.rb#989
+class RBI::TStructProp < ::RBI::TStructField
+  include ::RBI::Indexable
+
+  # source://rbi//lib/rbi/model.rb#991
+  sig do
+    params(
+      name: ::String,
+      type: T.any(::RBI::Type, ::String),
+      default: T.nilable(::String),
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment],
+      block: T.nilable(T.proc.params(node: ::RBI::TStructProp).void)
+    ).void
+  end
+  def initialize(name, type, default: T.unsafe(nil), loc: T.unsafe(nil), comments: T.unsafe(nil), &block); end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#527
+  sig { override.params(other: ::RBI::Node).returns(T::Boolean) }
+  def compatible_with?(other); end
+
+  # source://rbi//lib/rbi/model.rb#998
+  sig { override.returns(T::Array[::String]) }
+  def fully_qualified_names; end
+
+  # source://rbi//lib/rbi/index.rb#209
+  sig { override.returns(T::Array[::String]) }
+  def index_ids; end
+
+  # source://rbi//lib/rbi/model.rb#1005
+  sig { override.returns(::String) }
+  def to_s; end
+end
+
+# source://rbi//lib/rbi/model.rb#112
+class RBI::Tree < ::RBI::NodeWithComments
+  # source://rbi//lib/rbi/model.rb#117
+  sig do
+    params(
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment],
+      block: T.nilable(T.proc.params(node: ::RBI::Tree).void)
+    ).void
+  end
+  def initialize(loc: T.unsafe(nil), comments: T.unsafe(nil), &block); end
+
+  # source://rbi//lib/rbi/model.rb#124
+  sig { params(node: ::RBI::Node).void }
+  def <<(node); end
+
+  # source://rbi//lib/rbi/rewriters/add_sig_templates.rb#63
+  sig { params(with_todo_comment: T::Boolean).void }
+  def add_sig_templates!(with_todo_comment: T.unsafe(nil)); end
+
+  # source://rbi//lib/rbi/rewriters/annotate.rb#46
+  sig { params(annotation: ::String, annotate_scopes: T::Boolean, annotate_properties: T::Boolean).void }
+  def annotate!(annotation, annotate_scopes: T.unsafe(nil), annotate_properties: T.unsafe(nil)); end
+
+  # source://tapioca/0.16.11/lib/tapioca/rbi_ext/model.rb#38
+  sig do
+    params(
+      name: ::String,
+      superclass_name: T.nilable(::String),
+      block: T.nilable(T.proc.params(scope: ::RBI::Scope).void)
+    ).returns(::RBI::Scope)
+  end
+  def create_class(name, superclass_name: T.unsafe(nil), &block); end
+
+  # source://tapioca/0.16.11/lib/tapioca/rbi_ext/model.rb#45
+  sig { params(name: ::String, value: ::String).void }
+  def create_constant(name, value:); end
+
+  # source://tapioca/0.16.11/lib/tapioca/rbi_ext/model.rb#55
+  sig { params(name: ::String).void }
+  def create_extend(name); end
+
+  # source://tapioca/0.16.11/lib/tapioca/rbi_ext/model.rb#50
+  sig { params(name: ::String).void }
+  def create_include(name); end
+
+  # source://tapioca/0.16.11/lib/tapioca/rbi_ext/model.rb#90
+  sig do
+    params(
+      name: ::String,
+      parameters: T::Array[::RBI::TypedParam],
+      return_type: T.nilable(::String),
+      class_method: T::Boolean,
+      visibility: ::RBI::Visibility,
+      comments: T::Array[::RBI::Comment],
+      block: T.nilable(T.proc.params(node: ::RBI::Method).void)
+    ).void
+  end
+  def create_method(name, parameters: T.unsafe(nil), return_type: T.unsafe(nil), class_method: T.unsafe(nil), visibility: T.unsafe(nil), comments: T.unsafe(nil), &block); end
+
+  # source://tapioca/0.16.11/lib/tapioca/rbi_ext/model.rb#60
+  sig { params(name: ::String).void }
+  def create_mixes_in_class_methods(name); end
+
+  # source://tapioca/0.16.11/lib/tapioca/rbi_ext/model.rb#25
+  sig { params(name: ::String, block: T.nilable(T.proc.params(scope: ::RBI::Scope).void)).returns(::RBI::Scope) }
+  def create_module(name, &block); end
+
+  # source://tapioca/0.16.11/lib/tapioca/rbi_ext/model.rb#9
+  sig { params(constant: ::Module, block: T.nilable(T.proc.params(scope: ::RBI::Scope).void)).returns(::RBI::Scope) }
+  def create_path(constant, &block); end
+
+  # source://tapioca/0.16.11/lib/tapioca/rbi_ext/model.rb#74
+  sig do
+    params(
+      name: ::String,
+      type: ::String,
+      variance: ::Symbol,
+      fixed: T.nilable(::String),
+      upper: T.nilable(::String),
+      lower: T.nilable(::String)
+    ).void
+  end
+  def create_type_variable(name, type:, variance: T.unsafe(nil), fixed: T.unsafe(nil), upper: T.unsafe(nil), lower: T.unsafe(nil)); end
+
+  # source://rbi//lib/rbi/rewriters/deannotate.rb#38
+  sig { params(annotation: ::String).void }
+  def deannotate!(annotation); end
+
+  # source://rbi//lib/rbi/model.rb#130
+  sig { returns(T::Boolean) }
+  def empty?; end
+
+  # source://rbi//lib/rbi/rewriters/filter_versions.rb#113
+  sig { params(version: ::Gem::Version).void }
+  def filter_versions!(version); end
+
+  # source://rbi//lib/rbi/rewriters/flatten_singleton_methods.rb#57
+  sig { void }
+  def flatten_singleton_methods!; end
+
+  # source://rbi//lib/rbi/rewriters/flatten_visibilities.rb#57
+  sig { void }
+  def flatten_visibilities!; end
+
+  # source://rbi//lib/rbi/rewriters/group_nodes.rb#78
+  sig { void }
+  def group_nodes!; end
+
+  # source://rbi//lib/rbi/index.rb#64
+  sig { returns(::RBI::Index) }
+  def index; end
+
+  # source://rbi//lib/rbi/rewriters/merge_trees.rb#314
+  sig do
+    params(
+      other: ::RBI::Tree,
+      left_name: ::String,
+      right_name: ::String,
+      keep: ::RBI::Rewriters::Merge::Keep
+    ).returns(::RBI::MergeTree)
+  end
+  def merge(other, left_name: T.unsafe(nil), right_name: T.unsafe(nil), keep: T.unsafe(nil)); end
+
+  # source://rbi//lib/rbi/rewriters/nest_non_public_members.rb#43
+  sig { void }
+  def nest_non_public_members!; end
+
+  # source://rbi//lib/rbi/rewriters/nest_singleton_methods.rb#33
+  sig { void }
+  def nest_singleton_methods!; end
+
+  # source://rbi//lib/rbi/rewriters/nest_top_level_members.rb#60
+  sig { void }
+  def nest_top_level_members!; end
+
+  # source://rbi//lib/rbi/model.rb#114
+  sig { returns(T::Array[::RBI::Node]) }
+  def nodes; end
+
+  # source://rbi//lib/rbi/rewriters/attr_to_methods.rb#50
+  sig { void }
+  def replace_attributes_with_methods!; end
+
+  # source://rbi//lib/rbi/rewriters/sort_nodes.rb#116
+  sig { void }
+  def sort_nodes!; end
+
+  # source://rbi//lib/rbi/rewriters/translate_rbs_sigs.rb#82
+  sig { void }
+  def translate_rbs_sigs!; end
+
+  private
+
+  # source://tapioca/0.16.11/lib/tapioca/rbi_ext/model.rb#123
+  sig { params(node: ::RBI::Node).returns(::RBI::Node) }
+  def create_node(node); end
+
+  # source://tapioca/0.16.11/lib/tapioca/rbi_ext/model.rb#118
+  sig { returns(T::Hash[::String, ::RBI::Node]) }
+  def nodes_cache; end
+end
+
+# The base class for all RBI types.
+#
+# @abstract It cannot be directly instantiated. Subclasses must implement the `abstract` methods below.
+#
+# source://rbi//lib/rbi/type.rb#6
+class RBI::Type
+  abstract!
+
+  # source://rbi//lib/rbi/type.rb#695
+  sig { void }
+  def initialize; end
+
+  # @abstract
+  #
+  # source://rbi//lib/rbi/type.rb#741
+  sig { abstract.params(other: ::BasicObject).returns(T::Boolean) }
+  def ==(other); end
+
+  # source://rbi//lib/rbi/type.rb#744
+  sig { params(other: ::BasicObject).returns(T::Boolean) }
+  def eql?(other); end
+
+  # source://rbi//lib/rbi/type.rb#750
+  sig { override.returns(::Integer) }
+  def hash; end
+
+  # Returns a new type that is `nilable` if it is not already.
+  #
+  # If the type is already nilable, it returns itself.
+  # ```ruby
+  # type = RBI::Type.simple("String")
+  # type.to_rbi # => "String"
+  # type.nilable.to_rbi # => "T.nilable(String)"
+  # type.nilable.nilable.to_rbi # => "T.nilable(String)"
+  # ```
+  #
+  # source://rbi//lib/rbi/type.rb#709
+  sig { returns(::RBI::Type) }
+  def nilable; end
+
+  # Returns whether the type is nilable.
+  #
+  # source://rbi//lib/rbi/type.rb#736
+  sig { returns(T::Boolean) }
+  def nilable?; end
+
+  # Returns the non-nilable version of the type.
+  # If the type is already non-nilable, it returns itself.
+  # If the type is nilable, it returns the inner type.
+  #
+  # ```ruby
+  # type = RBI::Type.nilable(RBI::Type.simple("String"))
+  # type.to_rbi # => "T.nilable(String)"
+  # type.non_nilable.to_rbi # => "String"
+  # type.non_nilable.non_nilable.to_rbi # => "String"
+  # ```
+  #
+  # source://rbi//lib/rbi/type.rb#724
+  sig { returns(::RBI::Type) }
+  def non_nilable; end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#1136
+  sig { returns(::String) }
+  def rbs_string; end
+
+  # @abstract
+  #
+  # source://rbi//lib/rbi/type.rb#755
+  sig { abstract.returns(::String) }
+  def to_rbi; end
+
+  # source://rbi//lib/rbi/type.rb#759
+  sig { override.returns(::String) }
+  def to_s; end
+
+  class << self
+    # Builds a type that represents an intersection of multiple types like `T.all(String, Integer)`.
+    #
+    # Note that this method transforms types such as `T.all(String, String)` into `String`, so
+    # it may return something other than a `All`.
+    #
+    # source://rbi//lib/rbi/type.rb#559
+    sig { params(type1: ::RBI::Type, type2: ::RBI::Type, types: ::RBI::Type).returns(::RBI::Type) }
+    def all(type1, type2, *types); end
+
+    # Builds a type that represents a union of multiple types like `T.any(String, Integer)`.
+    #
+    # Note that this method transforms types such as `T.any(String, NilClass)` into `T.nilable(String)`, so
+    # it may return something other than a `Any`.
+    #
+    # source://rbi//lib/rbi/type.rb#586
+    sig { params(type1: ::RBI::Type, type2: ::RBI::Type, types: ::RBI::Type).returns(::RBI::Type) }
+    def any(type1, type2, *types); end
+
+    # Builds a type that represents `T.anything`.
+    #
+    # source://rbi//lib/rbi/type.rb#484
+    sig { returns(::RBI::Type::Anything) }
+    def anything; end
+
+    # Builds a type that represents `T.attached_class`.
+    #
+    # source://rbi//lib/rbi/type.rb#490
+    sig { returns(::RBI::Type::AttachedClass) }
+    def attached_class; end
+
+    # Builds a type that represents `T::Boolean`.
+    #
+    # source://rbi//lib/rbi/type.rb#496
+    sig { returns(::RBI::Type::Boolean) }
+    def boolean; end
+
+    # Builds a type that represents the singleton class of another type like `T.class_of(Foo)`.
+    #
+    # source://rbi//lib/rbi/type.rb#534
+    sig { params(type: ::RBI::Type::Simple, type_parameter: T.nilable(::RBI::Type)).returns(::RBI::Type::ClassOf) }
+    def class_of(type, type_parameter = T.unsafe(nil)); end
+
+    # Builds a type that represents a generic type like `T::Array[String]` or `T::Hash[Symbol, Integer]`.
+    #
+    # source://rbi//lib/rbi/type.rb#651
+    sig { params(name: ::String, params: T.any(::RBI::Type, T::Array[::RBI::Type])).returns(::RBI::Type::Generic) }
+    def generic(name, *params); end
+
+    # Builds a type that represents a nilable of another type like `T.nilable(String)`.
+    #
+    # Note that this method transforms types such as `T.nilable(T.untyped)` into `T.untyped`, so
+    # it may return something other than a `RBI::Type::Nilable`.
+    #
+    # source://rbi//lib/rbi/type.rb#543
+    sig { params(type: ::RBI::Type).returns(::RBI::Type) }
+    def nilable(type); end
+
+    # Builds a type that represents `T.noreturn`.
+    #
+    # source://rbi//lib/rbi/type.rb#502
+    sig { returns(::RBI::Type::NoReturn) }
+    def noreturn; end
+
+    # source://rbi//lib/rbi/type_parser.rb#26
+    sig { params(node: ::Prism::Node).returns(::RBI::Type) }
+    def parse_node(node); end
+
+    # @raise [Error]
+    #
+    # source://rbi//lib/rbi/type_parser.rb#10
+    sig { params(string: ::String).returns(::RBI::Type) }
+    def parse_string(string); end
+
+    # Builds a type that represents a proc type like `T.proc.void`.
+    #
+    # source://rbi//lib/rbi/type.rb#679
+    sig { returns(::RBI::Type::Proc) }
+    def proc; end
+
+    # Builds a type that represents `T.self_type`.
+    #
+    # source://rbi//lib/rbi/type.rb#508
+    sig { returns(::RBI::Type::SelfType) }
+    def self_type; end
+
+    # Builds a type that represents a shape type like `{name: String, age: Integer}`.
+    #
+    # source://rbi//lib/rbi/type.rb#671
+    sig { params(types: T::Hash[T.any(::String, ::Symbol), ::RBI::Type]).returns(::RBI::Type::Shape) }
+    def shape(types = T.unsafe(nil)); end
+
+    # Builds a simple type like `String` or `::Foo::Bar`.
+    #
+    # It raises a `NameError` if the name is not a valid Ruby class identifier.
+    #
+    # @raise [NameError]
+    #
+    # source://rbi//lib/rbi/type.rb#473
+    sig { params(name: ::String).returns(::RBI::Type::Simple) }
+    def simple(name); end
+
+    # Builds a type that represents the class of another type like `T::Class[Foo]`.
+    #
+    # source://rbi//lib/rbi/type.rb#528
+    sig { params(type: ::RBI::Type).returns(::RBI::Type::Class) }
+    def t_class(type); end
+
+    # Builds a type that represents a tuple type like `[String, Integer]`.
+    #
+    # source://rbi//lib/rbi/type.rb#665
+    sig { params(types: T.any(::RBI::Type, T::Array[::RBI::Type])).returns(::RBI::Type::Tuple) }
+    def tuple(*types); end
+
+    # Builds a type that represents a type parameter like `T.type_parameter(:U)`.
+    #
+    # source://rbi//lib/rbi/type.rb#657
+    sig { params(name: ::Symbol).returns(::RBI::Type::TypeParameter) }
+    def type_parameter(name); end
+
+    # Builds a type that represents `T.untyped`.
+    #
+    # source://rbi//lib/rbi/type.rb#514
+    sig { returns(::RBI::Type::Untyped) }
+    def untyped; end
+
+    # Builds a type that represents `void`.
+    #
+    # source://rbi//lib/rbi/type.rb#520
+    sig { returns(::RBI::Type::Void) }
+    def void; end
+
+    private
+
+    # source://rbi//lib/rbi/type_parser.rb#263
+    sig { params(node: ::Prism::CallNode).returns(T::Array[::Prism::Node]) }
+    def call_chain(node); end
+
+    # source://rbi//lib/rbi/type_parser.rb#250
+    sig { params(node: ::Prism::CallNode, count: ::Integer).returns(T::Array[::Prism::Node]) }
+    def check_arguments_at_least!(node, count); end
+
+    # source://rbi//lib/rbi/type_parser.rb#235
+    sig { params(node: ::Prism::CallNode, count: ::Integer).returns(T::Array[::Prism::Node]) }
+    def check_arguments_exactly!(node, count); end
+
+    # @raise [Error]
+    #
+    # source://rbi//lib/rbi/type_parser.rb#69
+    sig { params(node: ::Prism::CallNode).returns(::RBI::Type) }
+    def parse_call(node); end
+
+    # source://rbi//lib/rbi/type_parser.rb#52
+    sig { params(node: T.any(::Prism::ConstantPathNode, ::Prism::ConstantReadNode)).returns(::RBI::Type) }
+    def parse_constant(node); end
+
+    # @raise [Error]
+    #
+    # source://rbi//lib/rbi/type_parser.rb#195
+    sig { params(node: ::Prism::CallNode).returns(::RBI::Type) }
+    def parse_proc(node); end
+
+    # source://rbi//lib/rbi/type_parser.rb#176
+    sig { params(node: T.any(::Prism::HashNode, ::Prism::KeywordHashNode)).returns(::RBI::Type) }
+    def parse_shape(node); end
+
+    # source://rbi//lib/rbi/type_parser.rb#171
+    sig { params(node: ::Prism::ArrayNode).returns(::RBI::Type) }
+    def parse_tuple(node); end
+
+    # source://rbi//lib/rbi/type_parser.rb#276
+    sig { params(node: T.nilable(::Prism::Node)).returns(T::Boolean) }
+    def t?(node); end
+
+    # source://rbi//lib/rbi/type_parser.rb#288
+    sig { params(node: T.nilable(::Prism::Node)).returns(T::Boolean) }
+    def t_boolean?(node); end
+
+    # source://rbi//lib/rbi/type_parser.rb#295
+    sig { params(node: ::Prism::ConstantPathNode).returns(T::Boolean) }
+    def t_class?(node); end
+
+    # source://rbi//lib/rbi/type_parser.rb#300
+    sig { params(node: T.nilable(::Prism::Node)).returns(T::Boolean) }
+    def t_class_of?(node); end
+
+    # source://rbi//lib/rbi/type_parser.rb#307
+    sig { params(node: ::Prism::CallNode).returns(T::Boolean) }
+    def t_proc?(node); end
+
+    # source://rbi//lib/rbi/type.rb#689
+    sig { params(name: ::String).returns(T::Boolean) }
+    def valid_identifier?(name); end
+  end
+end
+
+# A type that is intersection of multiple types like `T.all(String, Integer)`.
+#
+# source://rbi//lib/rbi/type.rb#252
+class RBI::Type::All < ::RBI::Type::Composite
+  # source://rbi//lib/rbi/type.rb#255
+  sig { override.returns(::String) }
+  def to_rbi; end
+end
+
+# A type that is union of multiple types like `T.any(String, Integer)`.
+#
+# source://rbi//lib/rbi/type.rb#261
+class RBI::Type::Any < ::RBI::Type::Composite
+  # source://rbi//lib/rbi/type.rb#269
+  sig { returns(T::Boolean) }
+  def nilable?; end
+
+  # source://rbi//lib/rbi/type.rb#264
+  sig { override.returns(::String) }
+  def to_rbi; end
+end
+
+# `T.anything`.
+#
+# source://rbi//lib/rbi/type.rb#43
+class RBI::Type::Anything < ::RBI::Type
+  # source://rbi//lib/rbi/type.rb#46
+  sig { override.params(other: ::BasicObject).returns(T::Boolean) }
+  def ==(other); end
+
+  # source://rbi//lib/rbi/type.rb#52
+  sig { override.returns(::String) }
+  def to_rbi; end
+end
+
+# `T.attached_class`.
+#
+# source://rbi//lib/rbi/type.rb#58
+class RBI::Type::AttachedClass < ::RBI::Type
+  # source://rbi//lib/rbi/type.rb#61
+  sig { override.params(other: ::BasicObject).returns(T::Boolean) }
+  def ==(other); end
+
+  # source://rbi//lib/rbi/type.rb#67
+  sig { override.returns(::String) }
+  def to_rbi; end
+end
+
+# `T::Boolean`.
+#
+# source://rbi//lib/rbi/type.rb#73
+class RBI::Type::Boolean < ::RBI::Type
+  # source://rbi//lib/rbi/type.rb#76
+  sig { override.params(other: ::BasicObject).returns(T::Boolean) }
+  def ==(other); end
+
+  # source://rbi//lib/rbi/type.rb#82
+  sig { override.returns(::String) }
+  def to_rbi; end
+end
+
+# The class of another type like `T::Class[Foo]`.
+#
+# source://rbi//lib/rbi/type.rb#150
+class RBI::Type::Class < ::RBI::Type
+  # source://rbi//lib/rbi/type.rb#155
+  sig { params(type: ::RBI::Type).void }
+  def initialize(type); end
+
+  # source://rbi//lib/rbi/type.rb#162
+  sig { override.params(other: ::BasicObject).returns(T::Boolean) }
+  def ==(other); end
+
+  # source://rbi//lib/rbi/type.rb#168
+  sig { override.returns(::String) }
+  def to_rbi; end
+
+  # source://rbi//lib/rbi/type.rb#152
+  sig { returns(::RBI::Type) }
+  def type; end
+end
+
+# The singleton class of another type like `T.class_of(Foo)`.
+#
+# source://rbi//lib/rbi/type.rb#174
+class RBI::Type::ClassOf < ::RBI::Type
+  # source://rbi//lib/rbi/type.rb#182
+  sig { params(type: ::RBI::Type::Simple, type_parameter: T.nilable(::RBI::Type)).void }
+  def initialize(type, type_parameter = T.unsafe(nil)); end
+
+  # source://rbi//lib/rbi/type.rb#190
+  sig { override.params(other: ::BasicObject).returns(T::Boolean) }
+  def ==(other); end
+
+  # source://rbi//lib/rbi/type.rb#196
+  sig { override.returns(::String) }
+  def to_rbi; end
+
+  # source://rbi//lib/rbi/type.rb#176
+  sig { returns(::RBI::Type::Simple) }
+  def type; end
+
+  # source://rbi//lib/rbi/type.rb#179
+  sig { returns(T.nilable(::RBI::Type)) }
+  def type_parameter; end
+end
+
+# A type that is composed of multiple types like `T.all(String, Integer)`.
+#
+# @abstract It cannot be directly instantiated. Subclasses must implement the `abstract` methods below.
+#
+# source://rbi//lib/rbi/type.rb#230
+class RBI::Type::Composite < ::RBI::Type
+  abstract!
+
+  # source://rbi//lib/rbi/type.rb#239
+  sig { params(types: T::Array[::RBI::Type]).void }
+  def initialize(types); end
+
+  # source://rbi//lib/rbi/type.rb#246
+  sig { override.params(other: ::BasicObject).returns(T::Boolean) }
+  def ==(other); end
+
+  # source://rbi//lib/rbi/type.rb#236
+  sig { returns(T::Array[::RBI::Type]) }
+  def types; end
+end
+
+# source://rbi//lib/rbi/type_parser.rb#6
+class RBI::Type::Error < ::RBI::Error; end
+
+# A generic type like `T::Array[String]` or `T::Hash[Symbol, Integer]`.
+#
+# source://rbi//lib/rbi/type.rb#277
+class RBI::Type::Generic < ::RBI::Type
+  # source://rbi//lib/rbi/type.rb#285
+  sig { params(name: ::String, params: ::RBI::Type).void }
+  def initialize(name, *params); end
+
+  # source://rbi//lib/rbi/type.rb#293
+  sig { override.params(other: ::BasicObject).returns(T::Boolean) }
+  def ==(other); end
+
+  # source://rbi//lib/rbi/type.rb#279
+  sig { returns(::String) }
+  def name; end
+
+  # source://rbi//lib/rbi/type.rb#282
+  sig { returns(T::Array[::RBI::Type]) }
+  def params; end
+
+  # source://rbi//lib/rbi/type.rb#299
+  sig { override.returns(::String) }
+  def to_rbi; end
+end
+
+# A type that can be `nil` like `T.nilable(String)`.
+#
+# source://rbi//lib/rbi/type.rb#206
+class RBI::Type::Nilable < ::RBI::Type
+  # source://rbi//lib/rbi/type.rb#211
+  sig { params(type: ::RBI::Type).void }
+  def initialize(type); end
+
+  # source://rbi//lib/rbi/type.rb#218
+  sig { override.params(other: ::BasicObject).returns(T::Boolean) }
+  def ==(other); end
+
+  # source://rbi//lib/rbi/type.rb#224
+  sig { override.returns(::String) }
+  def to_rbi; end
+
+  # source://rbi//lib/rbi/type.rb#208
+  sig { returns(::RBI::Type) }
+  def type; end
+end
+
+# `T.noreturn`.
+#
+# source://rbi//lib/rbi/type.rb#88
+class RBI::Type::NoReturn < ::RBI::Type
+  # source://rbi//lib/rbi/type.rb#91
+  sig { override.params(other: ::BasicObject).returns(T::Boolean) }
+  def ==(other); end
+
+  # source://rbi//lib/rbi/type.rb#97
+  sig { override.returns(::String) }
+  def to_rbi; end
+end
+
+# A proc type like `T.proc.void`.
+#
+# source://rbi//lib/rbi/type.rb#385
+class RBI::Type::Proc < ::RBI::Type
+  # source://rbi//lib/rbi/type.rb#396
+  sig { void }
+  def initialize; end
+
+  # source://rbi//lib/rbi/type.rb#405
+  sig { override.params(other: ::BasicObject).returns(T::Boolean) }
+  def ==(other); end
+
+  # source://rbi//lib/rbi/type.rb#433
+  sig { params(type: T.untyped).returns(T.self_type) }
+  def bind(type); end
+
+  # source://rbi//lib/rbi/type.rb#415
+  sig { params(params: ::RBI::Type).returns(T.self_type) }
+  def params(**params); end
+
+  # source://rbi//lib/rbi/type.rb#393
+  sig { returns(T.nilable(::RBI::Type)) }
+  def proc_bind; end
+
+  # source://rbi//lib/rbi/type.rb#387
+  sig { returns(T::Hash[::Symbol, ::RBI::Type]) }
+  def proc_params; end
+
+  # source://rbi//lib/rbi/type.rb#390
+  sig { returns(::RBI::Type) }
+  def proc_returns; end
+
+  # source://rbi//lib/rbi/type.rb#421
+  sig { params(type: T.untyped).returns(T.self_type) }
+  def returns(type); end
+
+  # source://rbi//lib/rbi/type.rb#440
+  sig { override.returns(::String) }
+  def to_rbi; end
+
+  # source://rbi//lib/rbi/type.rb#427
+  sig { returns(T.self_type) }
+  def void; end
+end
+
+# `T.self_type`.
+#
+# source://rbi//lib/rbi/type.rb#103
+class RBI::Type::SelfType < ::RBI::Type
+  # source://rbi//lib/rbi/type.rb#106
+  sig { override.params(other: ::BasicObject).returns(T::Boolean) }
+  def ==(other); end
+
+  # source://rbi//lib/rbi/type.rb#112
+  sig { override.returns(::String) }
+  def to_rbi; end
+end
+
+# A shape type like `{name: String, age: Integer}`.
+#
+# source://rbi//lib/rbi/type.rb#355
+class RBI::Type::Shape < ::RBI::Type
+  # source://rbi//lib/rbi/type.rb#360
+  sig { params(types: T::Hash[T.any(::String, ::Symbol), ::RBI::Type]).void }
+  def initialize(types); end
+
+  # source://rbi//lib/rbi/type.rb#367
+  sig { override.params(other: ::BasicObject).returns(T::Boolean) }
+  def ==(other); end
+
+  # source://rbi//lib/rbi/type.rb#373
+  sig { override.returns(::String) }
+  def to_rbi; end
+
+  # source://rbi//lib/rbi/type.rb#357
+  sig { returns(T::Hash[T.any(::String, ::Symbol), ::RBI::Type]) }
+  def types; end
+end
+
+# A type that represents a simple class name like `String` or `Foo`.
+#
+# It can also be a qualified name like `::Foo` or `Foo::Bar`.
+#
+# source://rbi//lib/rbi/type.rb#17
+class RBI::Type::Simple < ::RBI::Type
+  # source://rbi//lib/rbi/type.rb#22
+  sig { params(name: ::String).void }
+  def initialize(name); end
+
+  # source://rbi//lib/rbi/type.rb#29
+  sig { override.params(other: ::BasicObject).returns(T::Boolean) }
+  def ==(other); end
+
+  # source://rbi//lib/rbi/type.rb#19
+  sig { returns(::String) }
+  def name; end
+
+  # source://rbi//lib/rbi/type.rb#35
+  sig { override.returns(::String) }
+  def to_rbi; end
+end
+
+# A tuple type like `[String, Integer]`.
+#
+# source://rbi//lib/rbi/type.rb#331
+class RBI::Type::Tuple < ::RBI::Type
+  # source://rbi//lib/rbi/type.rb#336
+  sig { params(types: T::Array[::RBI::Type]).void }
+  def initialize(types); end
+
+  # source://rbi//lib/rbi/type.rb#343
+  sig { override.params(other: ::BasicObject).returns(T::Boolean) }
+  def ==(other); end
+
+  # source://rbi//lib/rbi/type.rb#349
+  sig { override.returns(::String) }
+  def to_rbi; end
+
+  # source://rbi//lib/rbi/type.rb#333
+  sig { returns(T::Array[::RBI::Type]) }
+  def types; end
+end
+
+# A type parameter like `T.type_parameter(:U)`.
+#
+# source://rbi//lib/rbi/type.rb#305
+class RBI::Type::TypeParameter < ::RBI::Type
+  # source://rbi//lib/rbi/type.rb#310
+  sig { params(name: ::Symbol).void }
+  def initialize(name); end
+
+  # source://rbi//lib/rbi/type.rb#317
+  sig { override.params(other: ::BasicObject).returns(T::Boolean) }
+  def ==(other); end
+
+  # source://rbi//lib/rbi/type.rb#307
+  sig { returns(::Symbol) }
+  def name; end
+
+  # source://rbi//lib/rbi/type.rb#323
+  sig { override.returns(::String) }
+  def to_rbi; end
+end
+
+# `T.untyped`.
+#
+# source://rbi//lib/rbi/type.rb#118
+class RBI::Type::Untyped < ::RBI::Type
+  # source://rbi//lib/rbi/type.rb#121
+  sig { override.params(other: ::BasicObject).returns(T::Boolean) }
+  def ==(other); end
+
+  # source://rbi//lib/rbi/type.rb#127
+  sig { override.returns(::String) }
+  def to_rbi; end
+end
+
+# source://rbi//lib/rbi/type_visitor.rb#6
+class RBI::Type::Visitor
+  # source://rbi//lib/rbi/type_visitor.rb#10
+  sig { params(node: ::RBI::Type).void }
+  def visit(node); end
+
+  private
+
+  # source://rbi//lib/rbi/type_visitor.rb#56
+  sig { params(type: ::RBI::Type::All).void }
+  def visit_all(type); end
+
+  # source://rbi//lib/rbi/type_visitor.rb#59
+  sig { params(type: ::RBI::Type::Any).void }
+  def visit_any(type); end
+
+  # source://rbi//lib/rbi/type_visitor.rb#62
+  sig { params(type: ::RBI::Type::Anything).void }
+  def visit_anything(type); end
+
+  # source://rbi//lib/rbi/type_visitor.rb#65
+  sig { params(type: ::RBI::Type::AttachedClass).void }
+  def visit_attached_class(type); end
+
+  # source://rbi//lib/rbi/type_visitor.rb#68
+  sig { params(type: ::RBI::Type::Boolean).void }
+  def visit_boolean(type); end
+
+  # source://rbi//lib/rbi/type_visitor.rb#71
+  sig { params(type: ::RBI::Type::Class).void }
+  def visit_class(type); end
+
+  # source://rbi//lib/rbi/type_visitor.rb#74
+  sig { params(type: ::RBI::Type::ClassOf).void }
+  def visit_class_of(type); end
+
+  # source://rbi//lib/rbi/type_visitor.rb#77
+  sig { params(type: ::RBI::Type::Generic).void }
+  def visit_generic(type); end
+
+  # source://rbi//lib/rbi/type_visitor.rb#80
+  sig { params(type: ::RBI::Type::Nilable).void }
+  def visit_nilable(type); end
+
+  # source://rbi//lib/rbi/type_visitor.rb#86
+  sig { params(type: ::RBI::Type::NoReturn).void }
+  def visit_no_return(type); end
+
+  # source://rbi//lib/rbi/type_visitor.rb#89
+  sig { params(type: ::RBI::Type::Proc).void }
+  def visit_proc(type); end
+
+  # source://rbi//lib/rbi/type_visitor.rb#92
+  sig { params(type: ::RBI::Type::SelfType).void }
+  def visit_self_type(type); end
+
+  # source://rbi//lib/rbi/type_visitor.rb#98
+  sig { params(type: ::RBI::Type::Shape).void }
+  def visit_shape(type); end
+
+  # source://rbi//lib/rbi/type_visitor.rb#83
+  sig { params(type: ::RBI::Type::Simple).void }
+  def visit_simple(type); end
+
+  # source://rbi//lib/rbi/type_visitor.rb#101
+  sig { params(type: ::RBI::Type::Tuple).void }
+  def visit_tuple(type); end
+
+  # source://rbi//lib/rbi/type_visitor.rb#104
+  sig { params(type: ::RBI::Type::TypeParameter).void }
+  def visit_type_parameter(type); end
+
+  # source://rbi//lib/rbi/type_visitor.rb#107
+  sig { params(type: ::RBI::Type::Untyped).void }
+  def visit_untyped(type); end
+
+  # source://rbi//lib/rbi/type_visitor.rb#95
+  sig { params(type: ::RBI::Type::Void).void }
+  def visit_void(type); end
+end
+
+# source://rbi//lib/rbi/type_visitor.rb#7
+class RBI::Type::Visitor::Error < ::RBI::Error; end
+
+# `void`.
+#
+# source://rbi//lib/rbi/type.rb#133
+class RBI::Type::Void < ::RBI::Type
+  # source://rbi//lib/rbi/type.rb#136
+  sig { override.params(other: ::BasicObject).returns(T::Boolean) }
+  def ==(other); end
+
+  # source://rbi//lib/rbi/type.rb#142
+  sig { override.returns(::String) }
+  def to_rbi; end
+end
+
+# source://rbi//lib/rbi/model.rb#1060
+class RBI::TypeMember < ::RBI::NodeWithComments
+  include ::RBI::Indexable
+
+  # source://rbi//lib/rbi/model.rb#1065
+  sig do
+    params(
+      name: ::String,
+      value: ::String,
+      loc: T.nilable(::RBI::Loc),
+      comments: T::Array[::RBI::Comment],
+      block: T.nilable(T.proc.params(node: ::RBI::TypeMember).void)
+    ).void
+  end
+  def initialize(name, value, loc: T.unsafe(nil), comments: T.unsafe(nil), &block); end
+
+  # source://rbi//lib/rbi/model.rb#1073
+  sig { returns(::String) }
+  def fully_qualified_name; end
+
+  # source://rbi//lib/rbi/index.rb#179
+  sig { override.returns(T::Array[::String]) }
+  def index_ids; end
+
+  # source://rbi//lib/rbi/model.rb#1062
+  sig { returns(::String) }
+  def name; end
+
+  # source://rbi//lib/rbi/model.rb#1081
+  sig { override.returns(::String) }
+  def to_s; end
+
+  # @return [String]
+  #
+  # source://rbi//lib/rbi/model.rb#1062
+  def value; end
+end
+
+# source://rbi//lib/rbi/rbs_printer.rb#879
+class RBI::TypePrinter
+  # source://rbi//lib/rbi/rbs_printer.rb#884
+  sig { void }
+  def initialize; end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#881
+  sig { returns(::String) }
+  def string; end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#889
+  sig { params(node: ::RBI::Type).void }
+  def visit(node); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#1004
+  sig { params(type: ::RBI::Type::All).void }
+  def visit_all(type); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#1014
+  sig { params(type: ::RBI::Type::Any).void }
+  def visit_any(type); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#954
+  sig { params(type: ::RBI::Type::Anything).void }
+  def visit_anything(type); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#979
+  sig { params(type: ::RBI::Type::AttachedClass).void }
+  def visit_attached_class(type); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#938
+  sig { params(type: ::RBI::Type::Boolean).void }
+  def visit_boolean(type); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#1081
+  sig { params(type: ::RBI::Type::Class).void }
+  def visit_class(type); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#997
+  sig { params(type: ::RBI::Type::ClassOf).void }
+  def visit_class_of(type); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#943
+  sig { params(type: ::RBI::Type::Generic).void }
+  def visit_generic(type); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#984
+  sig { params(type: ::RBI::Type::Nilable).void }
+  def visit_nilable(type); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#964
+  sig { params(type: ::RBI::Type::NoReturn).void }
+  def visit_no_return(type); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#1054
+  sig { params(type: ::RBI::Type::Proc).void }
+  def visit_proc(type); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#974
+  sig { params(type: ::RBI::Type::SelfType).void }
+  def visit_self_type(type); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#1034
+  sig { params(type: ::RBI::Type::Shape).void }
+  def visit_shape(type); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#933
+  sig { params(type: ::RBI::Type::Simple).void }
+  def visit_simple(type); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#1024
+  sig { params(type: ::RBI::Type::Tuple).void }
+  def visit_tuple(type); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#1076
+  sig { params(type: ::RBI::Type::TypeParameter).void }
+  def visit_type_parameter(type); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#969
+  sig { params(type: ::RBI::Type::Untyped).void }
+  def visit_untyped(type); end
+
+  # source://rbi//lib/rbi/rbs_printer.rb#959
+  sig { params(type: ::RBI::Type::Void).void }
+  def visit_void(type); end
+
+  private
+
+  # source://rbi//lib/rbi/rbs_printer.rb#1090
+  sig { params(type_name: ::String).returns(::String) }
+  def translate_t_type(type_name); end
+end
+
+# source://rbi//lib/rbi/rewriters/attr_to_methods.rb#5
+class RBI::UnexpectedMultipleSigsError < ::RBI::Error
+  # source://rbi//lib/rbi/rewriters/attr_to_methods.rb#10
+  sig { params(node: ::RBI::Node).void }
+  def initialize(node); end
+
+  # source://rbi//lib/rbi/rewriters/attr_to_methods.rb#7
+  sig { returns(::RBI::Node) }
+  def node; end
+end
+
+# source://rbi//lib/rbi/parser.rb#18
+class RBI::UnexpectedParserError < ::RBI::Error
+  # source://rbi//lib/rbi/parser.rb#23
+  sig { params(parent_exception: ::Exception, last_location: ::RBI::Loc).void }
+  def initialize(parent_exception, last_location); end
+
+  # source://rbi//lib/rbi/parser.rb#20
+  sig { returns(::RBI::Loc) }
+  def last_location; end
+
+  # source://rbi//lib/rbi/parser.rb#30
+  sig { params(io: T.any(::IO, ::StringIO)).void }
+  def print_debug(io: T.unsafe(nil)); end
+end
+
+# source://rbi//lib/rbi/version.rb#5
+RBI::VERSION = T.let(T.unsafe(nil), String)
+
+# Visibility
+#
+# @abstract It cannot be directly instantiated. Subclasses must implement the `abstract` methods below.
+#
+# source://rbi//lib/rbi/model.rb#708
+class RBI::Visibility < ::RBI::NodeWithComments
+  abstract!
+
+  # source://rbi//lib/rbi/model.rb#717
+  sig { params(visibility: ::Symbol, loc: T.nilable(::RBI::Loc), comments: T::Array[::RBI::Comment]).void }
+  def initialize(visibility, loc: T.unsafe(nil), comments: T.unsafe(nil)); end
+
+  # source://rbi//lib/rbi/model.rb#723
+  sig { params(other: T.nilable(::Object)).returns(T::Boolean) }
+  def ==(other); end
+
+  # source://rbi//lib/rbi/model.rb#740
+  sig { returns(T::Boolean) }
+  def private?; end
+
+  # source://rbi//lib/rbi/model.rb#735
+  sig { returns(T::Boolean) }
+  def protected?; end
+
+  # source://rbi//lib/rbi/model.rb#730
+  sig { returns(T::Boolean) }
+  def public?; end
+
+  # source://rbi//lib/rbi/model.rb#714
+  sig { returns(::Symbol) }
+  def visibility; end
+end
+
+# source://rbi//lib/rbi/rewriters/nest_non_public_members.rb#49
+class RBI::VisibilityGroup < ::RBI::Tree
+  # source://rbi//lib/rbi/rewriters/nest_non_public_members.rb#54
+  sig { params(visibility: ::RBI::Visibility).void }
+  def initialize(visibility); end
+
+  # source://rbi//lib/rbi/rewriters/nest_non_public_members.rb#51
+  sig { returns(::RBI::Visibility) }
+  def visibility; end
+end
+
+# @abstract It cannot be directly instantiated. Subclasses must implement the `abstract` methods below.
+#
+# source://rbi//lib/rbi/visitor.rb#7
+class RBI::Visitor
+  abstract!
+
+  # source://rbi//lib/rbi/visitor.rb#13
+  sig { params(node: T.nilable(::RBI::Node)).void }
+  def visit(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#109
+  sig { params(nodes: T::Array[::RBI::Node]).void }
+  def visit_all(nodes); end
+
+  # source://rbi//lib/rbi/visitor.rb#114
+  sig { params(file: ::RBI::File).void }
+  def visit_file(file); end
+
+  private
+
+  # source://rbi//lib/rbi/visitor.rb#199
+  sig { params(node: ::RBI::Arg).void }
+  def visit_arg(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#148
+  sig { params(node: ::RBI::AttrAccessor).void }
+  def visit_attr_accessor(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#151
+  sig { params(node: ::RBI::AttrReader).void }
+  def visit_attr_reader(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#154
+  sig { params(node: ::RBI::AttrWriter).void }
+  def visit_attr_writer(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#127
+  sig { params(node: ::RBI::BlankLine).void }
+  def visit_blank_line(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#178
+  sig { params(node: ::RBI::BlockParam).void }
+  def visit_block_param(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#133
+  sig { params(node: ::RBI::Class).void }
+  def visit_class(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#121
+  sig { params(node: ::RBI::Comment).void }
+  def visit_comment(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#244
+  sig { params(node: ::RBI::ConflictTree).void }
+  def visit_conflict_tree(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#145
+  sig { params(node: ::RBI::Const).void }
+  def visit_const(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#184
+  sig { params(node: ::RBI::Extend).void }
+  def visit_extend(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#238
+  sig { params(node: ::RBI::Group).void }
+  def visit_group(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#226
+  sig { params(node: ::RBI::Helper).void }
+  def visit_helper(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#181
+  sig { params(node: ::RBI::Include).void }
+  def visit_include(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#202
+  sig { params(node: ::RBI::KwArg).void }
+  def visit_kw_arg(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#172
+  sig { params(node: ::RBI::KwOptParam).void }
+  def visit_kw_opt_param(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#169
+  sig { params(node: ::RBI::KwParam).void }
+  def visit_kw_param(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#175
+  sig { params(node: ::RBI::KwRestParam).void }
+  def visit_kw_rest_param(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#157
+  sig { params(node: ::RBI::Method).void }
+  def visit_method(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#232
+  sig { params(node: ::RBI::MixesInClassMethods).void }
+  def visit_mixes_in_class_methods(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#130
+  sig { params(node: ::RBI::Module).void }
+  def visit_module(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#163
+  sig { params(node: ::RBI::OptParam).void }
+  def visit_opt_param(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#193
+  sig { params(node: ::RBI::Private).void }
+  def visit_private(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#190
+  sig { params(node: ::RBI::Protected).void }
+  def visit_protected(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#187
+  sig { params(node: ::RBI::Public).void }
+  def visit_public(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#124
+  sig { params(node: ::RBI::RBSComment).void }
+  def visit_rbs_comment(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#160
+  sig { params(node: ::RBI::ReqParam).void }
+  def visit_req_param(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#235
+  sig { params(node: ::RBI::RequiresAncestor).void }
+  def visit_requires_ancestor(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#166
+  sig { params(node: ::RBI::RestParam).void }
+  def visit_rest_param(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#247
+  sig { params(node: ::RBI::ScopeConflict).void }
+  def visit_scope_conflict(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#196
+  sig { params(node: ::RBI::Send).void }
+  def visit_send(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#205
+  sig { params(node: ::RBI::Sig).void }
+  def visit_sig(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#208
+  sig { params(node: ::RBI::SigParam).void }
+  def visit_sig_param(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#136
+  sig { params(node: ::RBI::SingletonClass).void }
+  def visit_singleton_class(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#139
+  sig { params(node: ::RBI::Struct).void }
+  def visit_struct(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#220
+  sig { params(node: ::RBI::TEnum).void }
+  def visit_tenum(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#223
+  sig { params(node: ::RBI::TEnumBlock).void }
+  def visit_tenum_block(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#142
+  sig { params(node: ::RBI::Tree).void }
+  def visit_tree(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#211
+  sig { params(node: ::RBI::TStruct).void }
+  def visit_tstruct(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#214
+  sig { params(node: ::RBI::TStructConst).void }
+  def visit_tstruct_const(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#217
+  sig { params(node: ::RBI::TStructProp).void }
+  def visit_tstruct_prop(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#229
+  sig { params(node: ::RBI::TypeMember).void }
+  def visit_type_member(node); end
+
+  # source://rbi//lib/rbi/visitor.rb#241
+  sig { params(node: ::RBI::VisibilityGroup).void }
+  def visit_visibility_group(node); end
+end
+
+# source://rbi//lib/rbi/visitor.rb#5
+class RBI::VisitorError < ::RBI::Error; end