class Steep::Interface::Block

def ==(other)
  other.is_a?(self.class) && other.type == type && other.optional == optional
end

def closed?
  type.closed?
end

def free_variables
  type.free_variables
end

def initialize(type:, optional:)
  @type = type
  @optional = optional
end

def optional?
  @optional
end

def subst(s)
  self.class.new(
    type: type.subst(s),
    optional: optional
  )
end

def to_s
  "#{optional? ? "?" : ""}{ #{type.params} -> #{type.return_type} }"
end