Sorbet internals:
how does our Ruby typechecker work

What's an node tree?


while b != 0
  if a > b
    a = a − b
  else
    b = b − a
  end 
end
return a