One Hat Cyber Team

Your IP: 216.73.216.133
Server IP: 185.119.109.197
Server: Linux managedhosting.chostar.me 5.15.0-160-generic #170-Ubuntu SMP Wed Oct 1 10:06:56 UTC 2025 x86_64
Server Software: Apache
PHP Version: 8.1.33
Buat File | Buat Folder

Dir : ~/lib/ruby/gems/3.0.0/gems/typeprof-0.12.0/smoke/

View File Name : rbs-tyvar2.rb

def foo
  cell = Cell.new(:a1, :b1, :c1)
  cell.set_a(:a2)
  cell.set_b(:b2)
  cell.set_c(:c2)
  cell
end

def bar
  foo.get_b
end

bar

__END__
# Classes
class Object
  private
  def foo: -> (Cell[:a1 | :a2, :b1 | :b2, :c1 | :c2])
  def bar: -> (:b1 | :b2)
end