class Steep::TypeInference::LocalVariableTypeEnv

def [](var)

def [](var)
  entry(var)&.type
end