Static typing with RBS in Ruby

Type Checking