class Steep::AST::Types::Void
def ==(other)
def ==(other) other.is_a?(Void) end
def free_variables
def free_variables Set.new end
def hash
def hash self.class.hash end
def initialize(location: nil)
def initialize(location: nil) @location = location end
def subst(s)
def subst(s) self end
def to_s
def to_s "void" end