class Steep::TypeInference::LocalVariableTypeEnv

def entry(var)

def entry(var)
  declared_types[var] || assigned_types[var]
end