Object
# File rbs-1.4.0/lib/rbs/types.rb, line 136 def self.build(v) case v when Symbol new(name: v, location: nil) when Array v.map {|x| new(name: x, location: nil) } end end
# File rbs-1.4.0/lib/rbs/types.rb, line 112 def ==(other) other.is_a?(Variable) && other.name == name end
# File rbs-1.4.0/lib/rbs/types.rb, line 122 def free_variables(set = Set.new) set.tap do set << name end end
# File rbs-1.4.0/lib/rbs/types.rb, line 118 def hash self.class.hash ^ name.hash end
# File rbs-1.4.0/lib/rbs/types.rb, line 132 def sub(s) s.apply(self) end