class Steep::AST::Types::Boolean

def ==(other)
  other.is_a?(Boolean)
end

def back_type
  Union.build(types:
              [
                Builtin::TrueClass.instance_type,
                Builtin::FalseClass.instance_type
              ],
              location: location)
end

def free_variables
  Set.new
end

def hash
  self.class.hash
end

def initialize(location: nil)
  @location = location
end

def level
  [0]
end

def subst(s)
  self
end

def to_s
  "bool"
end

def with_location(new_location)
  self.class.new(location: new_location)
end