class Steep::TypeInference::LocalVariableTypeEnv

def vars

def vars
  @vars ||= Set.new(declared_types.keys + assigned_types.keys)
end