class RBS::Definition::Variable

# File bundled-src/rbs-3.10.0/lib/rbs/definition.rb, line 11
def initialize(parent_variable:, type:, declared_in:, source:)
  @parent_variable = parent_variable
  @type = type
  @declared_in = declared_in
  @source = source
end

# File bundled-src/rbs-3.10.0/lib/rbs/definition.rb, line 18
def sub(s)
  return self if s.empty?

  self.class.new(
    parent_variable: parent_variable,
    type: type.sub(s),
    declared_in: declared_in,
    source: source
  )
end