Sha256: 880a9182bb3b90dc671998672593c864e8b21ad5e12ca3162e367dd69ac1c6d4
Contents?: true
Size: 640 Bytes
Versions: 31
Compression:
Stored size: 640 Bytes
Contents
module Steep
module AST
module Types
class Top
attr_reader :location
def initialize(location: nil)
@location = location
end
def ==(other)
other.is_a?(Top)
end
def hash
self.class.hash
end
alias eql? ==
def subst(s)
self
end
def to_s
"⟙"
end
def free_variables
Set.new
end
def level
[2]
end
def with_location(new_location)
self.class.new(location: new_location)
end
end
end
end
end
Version data entries
31 entries across 31 versions & 1 rubygems