Problem rbs prototype rb command may generate duplicated declarations. For example: a.rb class A def foo() end end class A class B def bar() end end end $ rbs prototype rb c.rb class A def foo: () ...