Sha256: 722972b16fbbf5aff529be8a76c0bf37455d4ea8f406e701c1ef66e4b42ca665
Contents?: true
Size: 640 Bytes
Versions: 31
Compression:
Stored size: 640 Bytes
Contents
module Steep
module AST
module Types
class Bot
attr_reader :location
def initialize(location: nil)
@location = location
end
def ==(other)
other.is_a?(Bot)
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