class Steep::Subtyping::Constraints

def lower_bound(var)
  lower_bound, _ = dictionary[var]
  case lower_bound.size
  when 0
    AST::Types::Bot.new
  when 1
    lower_bound.first
  else
    AST::Types::Intersection.build(types: lower_bound.to_a)
  end
end